Merge pull request #172 from melsabagh/fix-dev-shm

fix:test: don't assume /dev/shm exists
WojciechMula · Mar 21, 2024 · 8b85045 · 8b85045
2 parents 63e9700 + c0d9151
commit 8b85045
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/runtest.sh b/runtest.sh
@@ -1,6 +1,11 @@
 #!/bin/bash
 
-TMPDIR=/dev/shm
+TMPDIR=/tmp
+SHM_DIR=/dev/shm
+if [[ -d "${SHM_DIR}" ]]
+then
+  TMPDIR="${SHM_DIR}"
+fi
 
 if [[ ${PYTHON} == "" ]]
 then