From c4c243184343eb1af30f6b10687b08e4df183867 Mon Sep 17 00:00:00 2001 From: Linnea Gräf Date: Wed, 10 Jul 2024 05:01:36 +0200 Subject: Add java home script check [no changelog] --- docs/release_script.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/release_script.sh b/docs/release_script.sh index e967879..6f22c13 100755 --- 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 -- cgit