From: Hans-Christoph Steiner <hans@eds.org>
Date: Thu, 15 Jun 2017 15:20:38 +0000 (+0200)
Subject: jenkins-build: point to new dir named after the script
X-Git-Tag: 0.8~40
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=ca62f9c0b863140d530f77b5b3b27d8bcdc528c7;p=fdroidserver.git

jenkins-build: point to new dir named after the script

This changes out the arbitrary names used before.
---

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