aboutsummaryrefslogtreecommitdiff
path: root/gradlew
diff options
context:
space:
mode:
authormiozune <miozune@gmail.com>2023-12-04 07:29:39 +0900
committerGitHub <noreply@github.com>2023-12-03 23:29:39 +0100
commit5f80611a29b11616aadbb810e7c5510ef5725c06 (patch)
treecbe683a20cb2994a013ca167d2e2ed1e6903a3f9 /gradlew
parentb6d165f9c7695e2bdb646c516fe3b09518dbbdc5 (diff)
downloadGT5-Unofficial-5f80611a29b11616aadbb810e7c5510ef5725c06.tar.gz
GT5-Unofficial-5f80611a29b11616aadbb810e7c5510ef5725c06.tar.bz2
GT5-Unofficial-5f80611a29b11616aadbb810e7c5510ef5725c06.zip
Migrate to new RecipeMap (#104)
* Migrate to new RecipeMap * update gradle+bs+deps --------- Co-authored-by: Martin Robertz <dream-master@gmx.net>
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.