From e402bd0749d9bb8ae2464e37c55c15dfd2d75ec3 Mon Sep 17 00:00:00 2001
From: Adam Macdonald <72780006+twokilohertz@users.noreply.github.com>
Date: Thu, 26 Oct 2023 15:11:04 +0100
Subject: [PATCH] Update Gradle wrapper scripts

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

diff --git a/gradlew b/gradlew
index aeb74cb..fcb6fca 100644
--- 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.