diff options
author | Philip Hands <phil@hands.com> | 2016-07-13 16:20:08 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-07-13 21:26:42 +0200 |
commit | b2f054060ebbba7147c9227544280ada1bacf649 (patch) | |
tree | 543e3fd8ef1a9dd6c1a071d6e2c47b8db62a6611 | |
parent | 4df4643dc19dd1bff62aa13c6d208bf1b1ecf040 (diff) | |
download | jenkins.debian.net-b2f054060ebbba7147c9227544280ada1bacf649.tar.xz |
lvc: log the ISO being used, if locally built
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-x | bin/lvc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -26,6 +26,7 @@ if [ "use_PU_GIT_BRANCH" = "$URL" ] ; then exit 1 } URL=$PU_ISO + echo "using locally built ISO image: URL='$URL'" else echo "URL='$URL' but PU_GIT_BRANCH='$PU_GIT_BRANCH' -- aborting" exit 1 |