diff options
author | Hans-Christoph Steiner <hans@eds.org> | 2016-02-09 13:33:44 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-02-09 14:13:34 +0100 |
commit | 1596171d45ccc7196b8b9a62bf44e5c72483dc02 (patch) | |
tree | b3daa2610caebc2835a0271e5887a66172ea3875 /bin | |
parent | c32d32ac77859bf122c6e7e3fc58ac6eec240216 (diff) | |
download | jenkins.debian.net-1596171d45ccc7196b8b9a62bf44e5c72483dc02.tar.xz |
reproducible fdroid: this script is now run directly in $WORKSPACE
Diffstat (limited to 'bin')
-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 |