diff options
| -rwxr-xr-x | .jenkins/install_conda.sh | 6 | ||||
| -rw-r--r-- | .jenkins/use_conda.sh | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/.jenkins/install_conda.sh b/.jenkins/install_conda.sh index 435ff21..6697166 100755 --- a/.jenkins/install_conda.sh +++ b/.jenkins/install_conda.sh @@ -1,3 +1,5 @@ #!/bin/bash -e -wget https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh -bash Miniconda3-latest-Linux-x86_64.sh -b -p ${WORKSPACE}/mc3 +[ -d ${WORKSPACE}@tmp/mc3 ] && exit 0 + +wget -q https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh +bash Miniconda3-latest-Linux-x86_64.sh -b -p ${WORKSPACE}@tmp/mc3 diff --git a/.jenkins/use_conda.sh b/.jenkins/use_conda.sh index 1c215f7..c573d53 100644 --- a/.jenkins/use_conda.sh +++ b/.jenkins/use_conda.sh @@ -1 +1 @@ -export PATH=${WORKSPACE}/mc3/bin:$PATH +export PATH=${WORKSPACE}@tmp/mc3/bin:$PATH |