summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans-Christoph Steiner <hans@eds.org>2016-02-08 18:28:27 +0100
committerHolger Levsen <holger@layer-acht.org>2016-02-09 01:08:09 +0100
commit23a9c866b836009fc06fa2f75f692d163606d70b (patch)
tree23f21d15428733bb892051a5095da667189825e9
parent098be3a4d0c42d2cfa8f2dcc02fa1de28bd155f6 (diff)
downloadjenkins.debian.net-23a9c866b836009fc06fa2f75f692d163606d70b.tar.xz
reproducible fdroid: use upstream script to run job
./jenkins-build-makebuildserver This script is maintained by the F-Droid developers, and is run every day on Guardian Project's jenkins box.
-rwxr-xr-xbin/reproducible_setup_fdroid_build_environment.sh40
1 files changed, 6 insertions, 34 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh
index 09d94747..e1858271 100755
--- a/bin/reproducible_setup_fdroid_build_environment.sh
+++ b/bin/reproducible_setup_fdroid_build_environment.sh
@@ -15,43 +15,15 @@ common_init "$@"
# 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…
-#
-# not yet needed, as we don't have any build jobs yet
-rm $WORKSPACE -rf
-mkdir -p $WORKSPACE
-
-cleanup_all() {
- echo "$(date -u) - cleanup in progress..."
- killall VBoxHeadless || true
- sleep 10
- echo "$(date -u) - cleanup done."
-}
-trap cleanup_all INT TERM EXIT
-
-
-# make sure we have the vagrant box image cached
-test -e ~/.cache/fdroidserver || mkdir -p ~/.cache/fdroidserver
-cd ~/.cache/fdroidserver
-wget --continue https://f-droid.org/jessie32.box || true
-echo "ff6b0c0bebcb742783becbc51a9dfff5a2a0a839bfcbfd0288dcd3113f33e533 jessie32.box" > jessie32.box.sha256
-sha256sum -c jessie32.box.sha256
-
-# wipe the whole vagrant setup and start from scratch
-export VAGRANT_HOME=$WORKSPACE/vagrant.d
-rm -rf $VAGRANT_HOME
+# fdroidserver.git/jenkins-build-makebuildserver assumes $WORKSPACE is
+# the root of fdroidserver.git/
cd $WORKSPACE
-cd fdroidserver
-echo "boot_timeout = 1200" > makebuildserver.config.py
-./makebuildserver
-
-# we are done here, shutdown
-cd buildserver
-vagrant halt
-# remove trap
-trap - INT TERM EXIT
-echo "$(date -u) - the end."
+# this script is maintained upstream and is also run on Guardian
+# Project's jenkins box
+./jenkins-build-makebuildserver