From 23a9c866b836009fc06fa2f75f692d163606d70b Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Mon, 8 Feb 2016 18:28:27 +0100 Subject: 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. --- bin/reproducible_setup_fdroid_build_environment.sh | 40 ++++------------------ 1 file changed, 6 insertions(+), 34 deletions(-) (limited to 'bin') 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 -- cgit v1.2.3-70-g09d2