From 0a79ed4b1933ed3e1f6966542c36e7f55fecb55d Mon Sep 17 00:00:00 2001 From: Peter van Dijk Date: Mon, 29 Apr 2013 20:06:12 +0200 Subject: [PATCH] oops --- build-scripts/make-jenkins-version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-scripts/make-jenkins-version b/build-scripts/make-jenkins-version index 383e778026..4f50848a44 100755 --- 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 -- 2.47.3