Merge pull request #2377 from cms-sw/set-tmpdir

Set TMPDIR in docker_launcher.sh if not set already
cms-sw · Nov 18, 2024 · 69d539d · 69d539d
2 parents 7ff7c50 + 62a3a9c
commit 69d539d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docker_launcher.sh b/docker_launcher.sh
@@ -1,4 +1,10 @@
 #!/bin/bash -ex
+if [ "$(uname -m)" = "riscv64" ]; then
+  if [ -z "${TMPDIR}" ] && [ -n "${WORKSPACE}" ]; then
+    mkdir -p "${WORKSPACE}/tmp"
+    export TMPDIR="${WORKSPACE}/tmp"
+  fi
+fi
 if [ "${USER}" = "" ] ; then export USER=$(whoami); fi
 if [ "${HOME}" = "" ] ; then
   if [ "${_CONDOR_SCRATCH_DIR}" != "" ] ; then export HOME="${_CONDOR_SCRATCH_DIR}" ; fi