drop origin from GIT_BRANCH

diff --git a/build-scripts/make-jenkins-version b/build-scripts/make-jenkins-version
index 1a9225894198b5c9f35f48778370c4a00c2ca252..497d3873ff3d224ef01eeae7026162a7a0fcce1e 100755 (executable)
--- a/build-scripts/make-jenkins-version
+++ b/build-scripts/make-jenkins-version
@@ -3,6 +3,6 @@ if [ $GIT_BRANCH = master ]
 then
        echo $(date +%Y%m%d).${BUILD_NUMBER}.$(git rev-parse --short $GIT_COMMIT)
 else
-       branch="$(echo ${GIT_BRANCH} | tr ' /-' _)"
+       branch="$(echo ${GIT_BRANCH} | sed 's!^origin/^^ | tr ' /-' _)"
        echo $(date +%Y%m%d).${branch}-${BUILD_NUMBER}.$(git rev-parse --short $GIT_COMMIT)
 fi