try different temp

epfl-lara · Sep 16, 2024 · 8d6e093 · 8d6e093
1 parent c81800b
commit 8d6e093
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/stainless-ci.sh b/stainless-ci.sh
@@ -31,7 +31,8 @@ SKIP_TESTS=false
 ROOT_DIR=$PWD
 SBT_TEMP=$ROOT_DIR/sbt-temp
 mkdir -p $SBT_TEMP
-export JAVA_OPTS="-Djava.io.tmpdir=$SBT_TEMP"
+BLOODY_SOCKET_DIR=/var/tmp/$RANDOM
+export JAVA_OPTS="-Djava.io.tmpdir=$BLOODY_SOCKET_DIR"
 SBT_DIR=$ROOT_DIR/temp  # make better later
 SBT=${SBT_DIR}/sbt/bin/sbt 
 
@@ -195,4 +196,6 @@ DURATION=$((TIME_AFTER - TIME_BEFORE))
 echo ""
 echo "********************************* CI PASSED! *********************************"
 
+# Too bad we have all those `exit` commands all over place, so they do not see this cleanup!
+rm -rf $BLOODY_SOCKET_DIR
 echo "Total time: $DURATION seconds"