fix an error on empty TMPDIR

apalache-mc · Dec 13, 2024 · f73b531 · f73b531
1 parent b20015f
commit f73b531
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/universal/bin/apalache-mc b/src/universal/bin/apalache-mc
@@ -39,7 +39,7 @@ then
 fi
 
 # Avoid SANY concurrency issues: https://github.com/tlaplus/tlaplus/issues/688
-if [ -z "$TMPDIR" ]; then
+if [ -z "${TMPDIR:-}" ]; then
     TMPDIR="$(pwd)/tmp"
     mkdir -p "$TMPDIR"
 fi