diff options
| author | Linnea Gräf <nea@nea.moe> | 2024-07-10 05:01:36 +0200 |
|---|---|---|
| committer | Linnea Gräf <nea@nea.moe> | 2024-07-10 05:01:36 +0200 |
| commit | c4c243184343eb1af30f6b10687b08e4df183867 (patch) | |
| tree | 8506cb3924aafcb2e96fa077afc6f672e0e39a97 | |
| parent | ca17fe502d2ddee6ba0ae62d0b6e8458c6ded2b9 (diff) | |
| download | firmament-c4c243184343eb1af30f6b10687b08e4df183867.tar.gz firmament-c4c243184343eb1af30f6b10687b08e4df183867.tar.bz2 firmament-c4c243184343eb1af30f6b10687b08e4df183867.zip | |
Add java home script check
[no changelog]
| -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 |