tweak

diff --git a/build-scripts/make-jenkins-version b/build-scripts/make-jenkins-version
index 4f50848a441de23a1bd9bb642744cb0b805b8101..248ba5dc299c5253ce01e2f591bf8b57f7147027 100755 (executable)
--- a/build-scripts/make-jenkins-version
+++ b/build-scripts/make-jenkins-version
@@ -1,8 +1,9 @@
 #!/bin/sh
+GIT_BRANCH=$(echo ${GIT_BRANCH} | sed 's!^origin/!!')
 if [ $GIT_BRANCH = master ]
 then
        echo $(date +%Y%m%d).${BUILD_NUMBER}.$(git rev-parse --short $GIT_COMMIT)
 else
-       branch="$(echo ${GIT_BRANCH} | sed 's!^origin/!!' | tr ' /-' _)"
+       branch="$(echo ${GIT_BRANCH} | tr ' /-' _)"
        echo $(date +%Y%m%d).${branch}-${BUILD_NUMBER}.$(git rev-parse --short $GIT_COMMIT)
 fi