remove socket folder (#1585)

epfl-lara · Oct 9, 2024 · 3e44570 · 3e44570
1 parent 34593af
commit 3e44570
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/inox b/inox
diff --git a/stainless-ci.sh b/stainless-ci.sh
@@ -31,8 +31,6 @@ SKIP_TESTS=false
 ROOT_DIR=$PWD
 SBT_TEMP=$ROOT_DIR/sbt-temp
 mkdir -p $SBT_TEMP
-BLOODY_SOCKET_DIR=/var/tmp/stnlsci-$RANDOM
-export JAVA_OPTS="-Djava.io.tmpdir=$BLOODY_SOCKET_DIR"
 SBT_DIR=$ROOT_DIR/temp  # make better later
 SBT=${SBT_DIR}/sbt/bin/sbt 
 
@@ -162,7 +160,6 @@ fi
 if [ "$SKIP_BOLTS" = true ]; then
   echo "************** Skipping Bolts tests **************"
 else
-  unset JAVA_OPTS
   if [ -z "$BOLTS_DIR" ]; then
     bash bin/external-tests.sh --skip-build 
   else
+0 −5		.github/workflows/inox-CI.yml
+1 −1		README.md
+1 −1		project/build.properties