try it without -p

apalache-mc · Dec 13, 2024 · 4e6279d · 4e6279d
1 parent f73b531
commit 4e6279d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/universal/bin/apalache-mc b/src/universal/bin/apalache-mc
@@ -43,7 +43,7 @@ if [ -z "${TMPDIR:-}" ]; then
     TMPDIR="$(pwd)/tmp"
     mkdir -p "$TMPDIR"
 fi
-JAVA_IO_TMPDIR=`mktemp -d -p $TMPDIR -t SANYXXXXXXXXXX`
+JAVA_IO_TMPDIR=`mktemp -d -t SANYXXXXXXXXXX`
 
 # Check whether the CLI args contains the debug flag
 if [[ "$*" =~ '--debug' ]]