diff options
author | Philip Hands <phil@hands.com> | 2016-06-26 21:47:35 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-06-26 22:16:54 +0200 |
commit | f12108004b082bb7cb33c176f2f1c4ea40aeb5d3 (patch) | |
tree | 6fa0eb08a8d80185323b9488f1da846353d250d3 | |
parent | e3df2d78987243daf2d3349af85d07c12d957fad (diff) | |
download | jenkins.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-x | bin/lvc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |