aboutsummaryrefslogtreecommitdiff
path: root/docs/release_script.sh
diff options
context:
space:
mode:
authorLinnea Gräf <nea@nea.moe>2024-07-10 05:01:36 +0200
committerLinnea Gräf <nea@nea.moe>2024-07-10 05:01:36 +0200
commitc4c243184343eb1af30f6b10687b08e4df183867 (patch)
tree8506cb3924aafcb2e96fa077afc6f672e0e39a97 /docs/release_script.sh
parentca17fe502d2ddee6ba0ae62d0b6e8458c6ded2b9 (diff)
downloadfirmament-c4c243184343eb1af30f6b10687b08e4df183867.tar.gz
firmament-c4c243184343eb1af30f6b10687b08e4df183867.tar.bz2
firmament-c4c243184343eb1af30f6b10687b08e4df183867.zip
Add java home script check
[no changelog]
Diffstat (limited to 'docs/release_script.sh')
-rwxr-xr-xdocs/release_script.sh5
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