Add java home script check

[no changelog]
2024-07-10 05:01:36 +02:00
parent ca17fe502d
commit c4c2431843
1 changed files with 5 additions and 0 deletions
--- a/docs/release_script.sh
+++ b/docs/release_script.sh
@@ -94,6 +94,11 @@ if ! [ -d "$basedir/.git" ]; then
    exit 1
 fi

+if ! "${JAVA_HOME}"/bin/java -version 2>&1 | grep 'version "21.'>/dev/null && [ "$_arg_no_check" == off ]; then
+    echo Wrong java version
+    exit 1
+fi
+
 if [ -n "$(git status --porcelain)" ] && [ "$_arg_no_check" == off ]; then
    echo Unclean git working environment
    exit 1