diff options
Diffstat (limited to 'evaluate.sh')
| -rwxr-xr-x | evaluate.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/evaluate.sh b/evaluate.sh index f92a456..caafbb1 100755 --- a/evaluate.sh +++ b/evaluate.sh @@ -36,6 +36,7 @@ RESET='\033[0m' # No Color MEASUREMENTS_FILE="measurements_1B.txt" RUNS=5 DEFAULT_JAVA_VERSION="21.0.1-open" +: "${BUILD_JAVA_VERSION:=21.0.1-open}" RUN_TIME_LIMIT=300 # seconds TIMEOUT="" @@ -115,6 +116,7 @@ if [ -f "/sys/devices/system/cpu/cpufreq/boost" ]; then fi fi +print_and_execute sdk use java $BUILD_JAVA_VERSION print_and_execute java --version print_and_execute ./mvnw --quiet clean verify |