From 5fc7abb8688dae095d0c8274ae5679c44a9f4149 Mon Sep 17 00:00:00 2001 From: Tomas Kulhanek Date: Fri, 18 Jan 2019 12:04:10 +0000 Subject: Update jenkins-build.sh --- build/jenkins-build.sh | 8 ++++---- 1 file 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 -- cgit v1.2.3