blob: e1858271f0d3cdac3ca9d50b48d59326f307806e (
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
|
#!/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
# 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
|