From ba56278ab3173b30b31c46fe4dbb571564f556e6 Mon Sep 17 00:00:00 2001
From: Krakenied <Krakenied1@gmail.com>
Date: Sat, 30 Sep 2023 21:26:37 +0200
Subject: [ci-skip] Update Gradle wrapper

---
 gradlew | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'gradlew')

diff --git a/gradlew b/gradlew
index aeb74cbb..fcb6fca1 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.
-- 
cgit v1.2.3-70-g09d2