summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbuild/jenkins-build.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh
index 87ca54f..62b1ece 100755
--- a/build/jenkins-build.sh
+++ b/build/jenkins-build.sh
@@ -33,7 +33,7 @@ else
PATH=$PATH:./bin
fi
-GIT_BRANCH=`git rev-parse --abbrev-ref HEAD`
+GIT_BRANCH=`git rev-parse --symbolic-full-name HEAD`
echo on branch ${GIT_BRANCH}
cat .git/HEAD
@@ -53,7 +53,7 @@ echo files created: $REG_FILES
# and TODO pull request not to upload
if [[ -n ${CCPI_CONDA_TOKEN} ]]; then
- if [[ ${GIT_BRANCH} == "master" ]]; then
+ if [[ ${GIT_BRANCH} == "refs/heads/master" ]]; then
conda install anaconda-client
while read -r outfile; do
#if >0 commit (some _ in version) then marking as dev build