diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/release_script.sh | 5 |
1 files changed, 5 insertions, 0 deletions
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 |