From 837f09fc5ff3eb1432c1e582c00def71f7b34312 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Mon, 16 Sep 2024 11:58:10 +0200
Subject: [PATCH] Stupid global sockets

---
 stainless-ci.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stainless-ci.sh b/stainless-ci.sh
index cda7cf0ac..cccb36ed3 100755
--- a/stainless-ci.sh
+++ b/stainless-ci.sh
@@ -32,9 +32,9 @@ SKIP_TESTS=false
 ROOT_DIR=$PWD
 SBT_TEMP=$ROOT_DIR/sbt-temp
 mkdir -p $SBT_TEMP
-export JAVA_OPTS="-Djava.io.tmpdir="$SBT_TEMP
+export JAVA_OPTS="-Djava.io.tmpdir=$SBT_TEMP"
 SBT_DIR=$ROOT_DIR/temp  # make better later
-SBT=${SBT_DIR}/sbt/bin/sbt
+SBT=${SBT_DIR}/sbt/bin/sbt 
 
 # First parse the options
 while [[ $# -gt 0 ]]; do