unset java_opts variable to run bolts tests (#1583)

epfl-lara · Oct 9, 2024 · 34593af · 34593af
1 parent a681d38
commit 34593af
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/stainless-ci.sh b/stainless-ci.sh
@@ -162,6 +162,7 @@ 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