From 62a3a9c5c996d2e2360d955bc85e5b3c776d1f98 Mon Sep 17 00:00:00 2001
From: Ivan Razumov <iarspider@gmail.com>
Date: Mon, 18 Nov 2024 11:25:52 +0100
Subject: [PATCH] Set TMPDIR in docker_launcher.sh if not set already

---
 docker_launcher.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docker_launcher.sh b/docker_launcher.sh
index 9e3e992b6dc..bf9b566410f 100755
--- 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