aboutsummaryrefslogtreecommitdiff
path: root/gradlew
diff options
context:
space:
mode:
authorMartin Robertz <dream-master@gmx.net>2023-12-03 21:36:14 +0100
committerMartin Robertz <dream-master@gmx.net>2023-12-03 21:36:14 +0100
commit4ba1417f54fa7652c5851e0a96485d991acdc6ff (patch)
tree96e56e49b5e1e55a3fe0fcbc4f3131e39f5a83eb /gradlew
parentf74c7cc297d1d19d38a19683cd277ad9ce605d3a (diff)
downloadGT5-Unofficial-4ba1417f54fa7652c5851e0a96485d991acdc6ff.tar.gz
GT5-Unofficial-4ba1417f54fa7652c5851e0a96485d991acdc6ff.tar.bz2
GT5-Unofficial-4ba1417f54fa7652c5851e0a96485d991acdc6ff.zip
update gradle+bs+deps
Diffstat (limited to 'gradlew')
-rwxr-xr-xgradlew5
1 files changed, 4 insertions, 1 deletions
diff --git a/gradlew b/gradlew
index aeb74cbb43..fcb6fca147 100755
--- a/gradlew
+++ b/gradlew
@@ -130,10 +130,13 @@ location of your Java installation."
fi
else
JAVACMD=java
- which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+ if ! command -v java >/dev/null 2>&1
+ then
+ die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
Please set the JAVA_HOME variable in your environment to match the
location of your Java installation."
+ fi
fi
# Increase the maximum file descriptors if we can.