Merge pull request #767 from psafont/sandbox

lindig · web-flow · commit dd3ef39087fe · 2021-07-29T15:57:25.000+01:00
configure: work around read-only /tmp found in opam's 2.1.0
diff --git a/configure b/configure
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-D=$(mktemp -d /tmp/configure.XXXXX)
+D=$(mktemp -d "${TMPDIR:-/tmp}/configure.XXXXX")
 function cleanup {
   cd /
   rm -rf $D
