Hardcode TMPDIR to /tmp

Hopefully this will fix issues with dune being overeager to clean up the stdlib tmp directories
coq-community · Feb 9, 2025 · 0e2a441 · 0e2a441
1 parent 9fa29bc
commit 0e2a441
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coqbot-config.sh b/coqbot-config.sh
@@ -175,7 +175,7 @@ done
 
 # ${ocamlpath_fragment}
 
-debug_prefix="\$(mktemp --tmpdir tmp-coqbot-minimizer.XXXXXXXXXX)"
+debug_prefix="\$(mktemp --tmpdir=/tmp tmp-coqbot-minimizer.XXXXXXXXXX)"
 printf "%s" "\$0" > "\${debug_prefix}"
 printf "%s" "\$COQPATH" > "\${debug_prefix}.coqpath"
 printf "%s" "\$OCAMLPATH" > "\${debug_prefix}.ocamlpath"