From 3e44570f76d6f707f1f494152ac24e28ac10a740 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <14821693+samuelchassot@users.noreply.github.com>
Date: Wed, 9 Oct 2024 10:05:15 +0200
Subject: [PATCH] remove socket folder (#1585)

---
 inox            | 2 +-
 stainless-ci.sh | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/inox b/inox
index e1f86121b..516bf217f 160000
--- a/inox
+++ b/inox
@@ -1 +1 @@
-Subproject commit e1f86121b6487b53cbc8072c407067205d3b425b
+Subproject commit 516bf217f053996f73a13ce1b400af4551437e12
diff --git a/stainless-ci.sh b/stainless-ci.sh
index 50ceb0a74..62532d857 100755
--- 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