diff options
| author | miozune <miozune@gmail.com> | 2023-12-04 06:48:16 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-03 22:48:16 +0100 |
| commit | 1d3d875e285a75b88ce1253989681e1cb00ff37e (patch) | |
| tree | 9826ef233085e8346f0e078682886a094e635dee /gradlew | |
| parent | bf82022108114f25d9dca2c79799c3033f6301cc (diff) | |
| download | GT5-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-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. |
