Check for Java 17 when running K tools (#3743)

This script is responsible for checking the installed Java version when we run a K tool; it appears to have been missed out when we bumped the required version of Java from 8 to 11, and then to 17. Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Oct 23, 2023 · b1fcdbc · b1fcdbc
1 parent 8442785
commit b1fcdbc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/src/main/scripts/lib/checkJava b/k-distribution/src/main/scripts/lib/checkJava
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-MIN_VERSION="8"
+MIN_VERSION="17"
 echoerr() { echo "$@" 1>&2; }
 
 if type -p java >/dev/null; then