summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorTomas Kulhanek <tomas.kulhanek@stfc.ac.uk>2019-01-18 12:04:10 +0000
committerGitHub <noreply@github.com>2019-01-18 12:04:10 +0000
commit5fc7abb8688dae095d0c8274ae5679c44a9f4149 (patch)
treebfb06a9893266869008d9223f3b717e9e5a49932 /build
parent70321f2f61a2404330732c16c06ae8cbdc454985 (diff)
downloadframework-5fc7abb8688dae095d0c8274ae5679c44a9f4149.tar.gz
framework-5fc7abb8688dae095d0c8274ae5679c44a9f4149.tar.bz2
framework-5fc7abb8688dae095d0c8274ae5679c44a9f4149.tar.xz
framework-5fc7abb8688dae095d0c8274ae5679c44a9f4149.zip
Update jenkins-build.sh
Diffstat (limited to 'build')
-rw-r--r--build/jenkins-build.sh8
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