From ca62f9c0b863140d530f77b5b3b27d8bcdc528c7 Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Thu, 15 Jun 2017 17:20:38 +0200 Subject: [PATCH] jenkins-build: point to new dir named after the script This changes out the arbitrary names used before. --- jenkins-build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins-build b/jenkins-build index c9dc3b81..6ddc3edc 100755 --- a/jenkins-build +++ b/jenkins-build @@ -43,7 +43,7 @@ hostname || true # point to the Vagrant/VirtualBox configs created by reproducible_setup_fdroid_build_environment.sh # these variables are actually set in fdroidserver/jenkins-build-makebuildserver -export SETUP_WORKSPACE=$(dirname $WORKSPACE)/fdroid/fdroidserver +export SETUP_WORKSPACE=$(dirname $WORKSPACE)/reproducible_setup_fdroid_build_environment/fdroidserver export XDG_CONFIG_HOME=$SETUP_WORKSPACE export VBOX_USER_HOME=$SETUP_WORKSPACE/VirtualBox export VAGRANT_HOME=$SETUP_WORKSPACE/vagrant.d