aboutsummaryrefslogtreecommitdiff
path: root/gradlew
diff options
context:
space:
mode:
authormiozune <miozune@gmail.com>2023-12-04 06:48:16 +0900
committerGitHub <noreply@github.com>2023-12-03 22:48:16 +0100
commit1d3d875e285a75b88ce1253989681e1cb00ff37e (patch)
tree9826ef233085e8346f0e078682886a094e635dee /gradlew
parentbf82022108114f25d9dca2c79799c3033f6301cc (diff)
downloadGT5-Unofficial-1d3d875e285a75b88ce1253989681e1cb00ff37e.tar.gz
GT5-Unofficial-1d3d875e285a75b88ce1253989681e1cb00ff37e.tar.bz2
GT5-Unofficial-1d3d875e285a75b88ce1253989681e1cb00ff37e.zip
Migrate to new RecipeMap (#78)
* Migrate to new RecipeMap * Minor cleanup * update bs+deps+gradle --------- 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.