blob: 83edac47705c9ef524dd9258409ca646d1ccd720 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#!/bin/bash
# Copyright 2015-2016 Holger Levsen <holger@layer-acht.org>
# 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
# FIXME: 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
# the way we handle jenkins slaves doesn't copy the workspace to the slaves
# so we need to "manually" clone the git repo here…
cd $WORKSPACE
git clone https://gitlab.com/fdroid/fdroidserver.git
cd fdroidserver
# 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."
|