diff options
| author | Tomas Kulhanek <tomas.kulhanek@stfc.ac.uk> | 2019-01-18 12:04:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-18 12:04:10 +0000 |
| commit | 5fc7abb8688dae095d0c8274ae5679c44a9f4149 (patch) | |
| tree | bfb06a9893266869008d9223f3b717e9e5a49932 /build/jenkins-build.sh | |
| parent | 70321f2f61a2404330732c16c06ae8cbdc454985 (diff) | |
| download | framework-5fc7abb8688dae095d0c8274ae5679c44a9f4149.tar.gz framework-5fc7abb8688dae095d0c8274ae5679c44a9f4149.tar.bz2 framework-5fc7abb8688dae095d0c8274ae5679c44a9f4149.tar.xz framework-5fc7abb8688dae095d0c8274ae5679c44a9f4149.zip | |
Update jenkins-build.sh
Diffstat (limited to 'build/jenkins-build.sh')
| -rw-r--r-- | build/jenkins-build.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh index 31b81d2..f1b9ad3 100644 --- a/build/jenkins-build.sh +++ b/build/jenkins-build.sh @@ -1,4 +1,6 @@ #!/usr/bin/env bash + +# define CIL_VERSION if not defined by calling environment if [[ -n ${CIL_VERSION} ]] then echo Using defined version: $CIL_VERSION @@ -6,12 +8,10 @@ else export CIL_VERSION=0.10.4 echo Defining version: $CIL_VERSION fi -# Script to builds source code in Jenkins environment -# module try-load conda -# install miniconda if the module is not present +# install miniconda if it is not already present if hash conda 2>/dev/null; then - echo using conda + echo using preinstalled conda else if [ ! -f Miniconda3-latest-Linux-x86_64.sh ]; then wget -q https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh |