diff options
author | Tomas Kulhanek <tomas.kulhanek@stfc.ac.uk> | 2019-01-22 16:03:22 +0000 |
---|---|---|
committer | Tomas Kulhanek <tomas.kulhanek@stfc.ac.uk> | 2019-01-22 16:03:22 +0000 |
commit | 53cbfdca7373b86fcf2f1a2ae8618265a628bc05 (patch) | |
tree | 876610156055daf7fc5819195fafea726ff12664 /build | |
parent | 93224f30e5072ec0b19958f053e2f58d07bf1f4b (diff) | |
download | regularization-53cbfdca7373b86fcf2f1a2ae8618265a628bc05.tar.gz regularization-53cbfdca7373b86fcf2f1a2ae8618265a628bc05.tar.bz2 regularization-53cbfdca7373b86fcf2f1a2ae8618265a628bc05.tar.xz regularization-53cbfdca7373b86fcf2f1a2ae8618265a628bc05.zip |
UPDATE 4: check git branch
Diffstat (limited to 'build')
-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 |