oops

diff --git a/build-scripts/make-jenkins-version b/build-scripts/make-jenkins-version
index 383e77802657d7d9fa952e06c962cc1aa02f6cea..4f50848a441de23a1bd9bb642744cb0b805b8101 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} | sed 's!^origin/^^' | tr ' /-' _)"
+       branch="$(echo ${GIT_BRANCH} | sed 's!^origin/!!' | tr ' /-' _)"
        echo $(date +%Y%m%d).${branch}-${BUILD_NUMBER}.$(git rev-parse --short $GIT_COMMIT)
 fi