diff --git a/stainless-ci.sh b/stainless-ci.sh index 1cb085b74..50ceb0a74 100755 --- 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