diff options
| author | sfan5 <sfan5@live.de> | 2021-10-25 21:56:25 +0200 |
|---|---|---|
| committer | rubenwardy <rw@rubenwardy.com> | 2021-10-31 22:32:48 +0000 |
| commit | ea1396f85693ee1f752219d91adcacb32041fc84 (patch) | |
| tree | 0410299bcc60e11f35d38518f7900560557dc689 /android | |
| parent | 4114e3047bd2cc975d829f24d73991650817ad66 (diff) | |
| download | minetest-ea1396f85693ee1f752219d91adcacb32041fc84.tar.gz minetest-ea1396f85693ee1f752219d91adcacb32041fc84.tar.bz2 minetest-ea1396f85693ee1f752219d91adcacb32041fc84.zip | |
Replace uses of which(1) with command -v
Diffstat (limited to 'android')
| -rwxr-xr-x | android/gradlew | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/android/gradlew b/android/gradlew index 83f2acfdc..25e0c1148 100755 --- a/android/gradlew +++ b/android/gradlew @@ -98,7 +98,7 @@ 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. + command -v java >/dev/null || 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." |