oops

diff --git a/build-scripts/make-jenkins-version b/build-scripts/make-jenkins-version
index 497d3873ff3d224ef01eeae7026162a7a0fcce1e..383e77802657d7d9fa952e06c962cc1aa02f6cea 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