diff options
| author | Philip Hands <phil@hands.com> | 2016-07-15 21:08:23 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-07-18 19:59:17 +0200 |
| commit | 7e8292ff4b05ad1e3b29268a816b4f2abed667d5 (patch) | |
| tree | ccd029bef01ffa42b3021c07bd7cf78ca22ae4de /bin | |
| parent | 9c8505cf1991bc5c0ddceb02627725d0466445dc (diff) | |
| download | jenkins.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>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/d-i_build.sh | 2 |
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 |