From 3073779b0f6199b7f68196086079a4199eb33687 Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Wed, 21 Jun 2017 23:32:15 -0400
Subject: sigh

---
 .jenkins/install_conda.sh | 6 ++++--
 .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
-- 
cgit