#!/bin/bash # Copyright 2015-2016 Holger Levsen # released under the GPLv=2 # # DEBUG=true . /srv/jenkins/bin/common-functions.sh 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