diff options
| author | Tomas Kulhanek <tomas.kulhanek@stfc.ac.uk> | 2019-01-18 13:01:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-18 13:01:43 +0000 |
| commit | 1cb5c41410d2c0db25849290fe7eeb5e960f053d (patch) | |
| tree | 3b89752098f5759ee9df08a3d5a3a4a5256babb0 | |
| parent | 5fc7abb8688dae095d0c8274ae5679c44a9f4149 (diff) | |
| download | framework-1cb5c41410d2c0db25849290fe7eeb5e960f053d.tar.gz framework-1cb5c41410d2c0db25849290fe7eeb5e960f053d.tar.bz2 framework-1cb5c41410d2c0db25849290fe7eeb5e960f053d.tar.xz framework-1cb5c41410d2c0db25849290fe7eeb5e960f053d.zip | |
Update jenkins-build.sh
| -rw-r--r-- | build/jenkins-build.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh index f1b9ad3..dcdf3da 100644 --- a/build/jenkins-build.sh +++ b/build/jenkins-build.sh @@ -1,8 +1,7 @@ #!/usr/bin/env bash # define CIL_VERSION if not defined by calling environment -if [[ -n ${CIL_VERSION} ]] -then +if [[ -n ${CIL_VERSION} ]]; then echo Using defined version: $CIL_VERSION else export CIL_VERSION=0.10.4 @@ -13,6 +12,7 @@ fi if hash conda 2>/dev/null; then echo using preinstalled conda else + echo installing miniconda if [ ! -f Miniconda3-latest-Linux-x86_64.sh ]; then wget -q https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh chmod +x Miniconda3-latest-Linux-x86_64.sh @@ -22,7 +22,7 @@ else fi # presume that git clone is done before this script is launched, if not, uncomment -# git clone https://github.com/vais-ral/CCPi-Regularisation-Toolkit +# git clone https://github.com/vais-ral/CCPi-Framework.git conda install -y conda-build # need to call first build |