diff options
Diffstat (limited to 'bin/reproducible_setup_fdroid_build_environment.sh')
| -rwxr-xr-x | bin/reproducible_setup_fdroid_build_environment.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index e1858271..fd54d5fd 100755 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -3,9 +3,6 @@ # Copyright 2015-2016 Holger Levsen <holger@layer-acht.org> # released under the GPLv=2 -# -# - DEBUG=true . /srv/jenkins/bin/common-functions.sh common_init "$@" @@ -13,17 +10,6 @@ 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 |