summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorTomas Kulhanek <tomas.kulhanek@stfc.ac.uk>2019-01-22 16:27:06 +0000
committerTomas Kulhanek <tomas.kulhanek@stfc.ac.uk>2019-01-22 16:27:06 +0000
commit952e9f45b04a42d5b8ef6ce3fbc50046c00e61b9 (patch)
tree876610156055daf7fc5819195fafea726ff12664 /build
parent450ee88cb6a7dd48cd0911937a8a0ed309b5392d (diff)
downloadregularization-952e9f45b04a42d5b8ef6ce3fbc50046c00e61b9.tar.gz
regularization-952e9f45b04a42d5b8ef6ce3fbc50046c00e61b9.tar.bz2
regularization-952e9f45b04a42d5b8ef6ce3fbc50046c00e61b9.tar.xz
regularization-952e9f45b04a42d5b8ef6ce3fbc50046c00e61b9.zip
UPDATE 6: minor
Diffstat (limited to 'build')
-rwxr-xr-xbuild/jenkins-build.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh
index 2936fed..87ca54f 100755
--- a/build/jenkins-build.sh
+++ b/build/jenkins-build.sh
@@ -20,6 +20,7 @@ fi
# Script to builds source code in Jenkins environment
# module try-load conda
+
# install miniconda if the module is not present
if hash conda 2>/dev/null; then
echo using installed conda