diff options
| -rwxr-xr-x | bin/reproducible_setup_fdroid_build_environment.sh | 40 |
1 files changed, 34 insertions, 6 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index e1858271..09d94747 100755 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -15,15 +15,43 @@ 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 -# this script is maintained upstream and is also run on Guardian -# Project's jenkins box -./jenkins-build-makebuildserver +# remove trap +trap - INT TERM EXIT +echo "$(date -u) - the end." |