6377: Create user-specified tmpdirs if necessary. refs #6377

diff --git a/jenkins/run-tests.sh b/jenkins/run-tests.sh
index 38290f777fb0ca29498b3fdc37104b447c8d5f6c..fe33948bf369ec93bd376617fbfa2fa975722bdd 100755 (executable)
--- a/jenkins/run-tests.sh
+++ b/jenkins/run-tests.sh
@@ -287,8 +287,9 @@ for tmpdir in VENVDIR VENV3DIR GOPATH GEMHOME
 do
     if [[ -n "${!tmpdir}" ]]; then
         leave_temp[$tmpdir]=1
+        mkdir -p "${!tmpdir}"
     else
-        eval $tmpdir=$(mktemp -d)
+        eval "$tmpdir"='$(mktemp -d)'
     fi
 done