diff options
-rwxr-xr-x | bin/reproducible_setup_fdroid_build_environment.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index fd54d5fd..e1858271 100755 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -3,6 +3,9 @@ # Copyright 2015-2016 Holger Levsen <holger@layer-acht.org> # released under the GPLv=2 +# +# + DEBUG=true . /srv/jenkins/bin/common-functions.sh common_init "$@" @@ -10,6 +13,17 @@ common_init "$@" # common code . /srv/jenkins/bin/reproducible_common.sh +# define and clean work space (differently than jenkins would normally do as we run via ssh on a different node…) +WORKSPACE=$BASE/fdroid + +# TODO: +# +# add locking here to only run this if no build job is running… + +# fdroidserver.git/jenkins-build-makebuildserver assumes $WORKSPACE is +# the root of fdroidserver.git/ +cd $WORKSPACE + # this script is maintained upstream and is also run on Guardian # Project's jenkins box ./jenkins-build-makebuildserver |