summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPhilip Hands <phil@hands.com>2016-07-15 21:08:23 +0200
committerHolger Levsen <holger@layer-acht.org>2016-07-18 19:59:17 +0200
commit7e8292ff4b05ad1e3b29268a816b4f2abed667d5 (patch)
treeccd029bef01ffa42b3021c07bd7cf78ca22ae4de
parent9c8505cf1991bc5c0ddceb02627725d0466445dc (diff)
downloadjenkins.debian.net-7e8292ff4b05ad1e3b29268a816b4f2abed667d5.tar.xz
d-i: define GIT_BRANCH since jenkins seems to have stopped doing so
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-xbin/d-i_build.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/d-i_build.sh b/bin/d-i_build.sh
index 01966181..e2af277d 100755
--- a/bin/d-i_build.sh
+++ b/bin/d-i_build.sh
@@ -12,6 +12,8 @@ RESULT_DIR=$(readlink -f ..)
ISO_DIR=/srv/d-i/isos
LVC_HOST=profitbricks-build10-amd64.debian.net
+[ -v GIT_BRANCH ] || GIT_BRANCH="$(git branch -r --contains $GIT_COMMIT | tail -1 | cut -c3-)"
+
clean_workspace() {
#
# clean