blob: dc08735814cce1a6d59196f3da2f437fd4d98e39 (
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
|
#!/bin/bash
# Copyright © 2015-2017 Holger Levsen (holger@layer-acht.org)
# Copyright © 2017 Hans-Christoph Steiner (hans@guardianproject.info)
# 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-build
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
./jenkins-build
# remove trap
trap - INT TERM EXIT
echo "$(date -u) - the end."
|