summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPhilip Hands <phil@hands.com>2016-06-26 21:47:35 +0200
committerHolger Levsen <holger@layer-acht.org>2016-06-26 22:16:54 +0200
commitf12108004b082bb7cb33c176f2f1c4ea40aeb5d3 (patch)
tree6fa0eb08a8d80185323b9488f1da846353d250d3
parente3df2d78987243daf2d3349af85d07c12d957fad (diff)
downloadjenkins.debian.net-f12108004b082bb7cb33c176f2f1c4ea40aeb5d3.tar.xz
fixup! d-i: ensure that there's a 'pu_' element to pu/ branch related things
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-xbin/lvc.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/lvc.sh b/bin/lvc.sh
index 87a596b0..5bea22c8 100755
--- a/bin/lvc.sh
+++ b/bin/lvc.sh
@@ -15,7 +15,7 @@ replace_origin_pu() {
PREFIX=$1 ; shift
BRANCH=$1 ; shift
expr "$BRANCH" : 'origin/pu/' >/dev/null || return 1
- echo "${PREFIX}${BRANCH#origin/pu/}"
+ echo "${PREFIX}pu_${BRANCH#origin/pu/}"
}
# if $URL is set to "use_PU_GIT_BRANCH" then use the contents of $PU_GIT_BRANCH to work out the locally built ISO name