diff options
| -rwxr-xr-x | build/jenkins-build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh index 4f96194..87ca54f 100755 --- a/build/jenkins-build.sh +++ b/build/jenkins-build.sh @@ -35,6 +35,7 @@ fi GIT_BRANCH=`git rev-parse --abbrev-ref HEAD` echo on branch ${GIT_BRANCH} +cat .git/HEAD # presume that git clone is done before this script is launched, if not, uncomment #git clone https://github.com/vais-ral/CCPi-Regularisation-Toolkit @@ -52,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} == "master" ]]; then conda install anaconda-client while read -r outfile; do #if >0 commit (some _ in version) then marking as dev build |