diff options
author | Martin Robertz <dream-master@gmx.net> | 2023-12-03 21:36:14 +0100 |
---|---|---|
committer | Martin Robertz <dream-master@gmx.net> | 2023-12-03 21:36:14 +0100 |
commit | 4ba1417f54fa7652c5851e0a96485d991acdc6ff (patch) | |
tree | 96e56e49b5e1e55a3fe0fcbc4f3131e39f5a83eb /gradlew | |
parent | f74c7cc297d1d19d38a19683cd277ad9ce605d3a (diff) | |
download | GT5-Unofficial-4ba1417f54fa7652c5851e0a96485d991acdc6ff.tar.gz GT5-Unofficial-4ba1417f54fa7652c5851e0a96485d991acdc6ff.tar.bz2 GT5-Unofficial-4ba1417f54fa7652c5851e0a96485d991acdc6ff.zip |
update gradle+bs+deps
Diffstat (limited to 'gradlew')
-rwxr-xr-x | gradlew | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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. |