ci

epfl-lara · Nov 28, 2024 · b280697 · b280697
1 parent ece5065
commit b280697
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/run-tests.sh b/run-tests.sh
@@ -1,5 +1,10 @@
 #!/usr/bin/env bash
 
+SBT_TEMP=$ROOT_DIR/sbt-temp
+# if TEMP_DIR is not set, set it to the default
+JAVA_OPTS_TMP_DIR=${JAVA_OPTS_TMP_DIR:-$ROOT_DIR/temporary}
+mkdir -p $JAVA_OPTS_TMP_DIR
+
 STAINLESS="stainless-dotty"
 ADMIT_VCS=false
 # First check whether the flag --admit-vcs is present
@@ -26,4 +31,7 @@ for project in $TC_TESTS; do
     exit $status
   fi
 done
+
+rm -rf $SBT_TEMP
+rm -rf $JAVA_OPTS_TMP_DIR
 echo "************* Verifying bolts projects was successful! *************"