From d17e89bdfe093ff0b9b1050c1585a00e83b3c2a9 Mon Sep 17 00:00:00 2001
From: oech3 <79379754+oech3@users.noreply.github.com>
Date: Thu, 13 Nov 2025 05:03:02 +0900
Subject: [PATCH] build-gnu.sh: Use system's GNU tools

---
 util/build-gnu.sh | 20 +++++---------------
 1 file changed, 5 insertions(+), 15 deletions(-)

diff --git a/util/build-gnu.sh b/util/build-gnu.sh
index 75dfdb035..bd14348b1 100755
--- a/util/build-gnu.sh
+++ b/util/build-gnu.sh
@@ -8,21 +8,11 @@
 
 set -e
 
-# Use GNU version for make, nproc, readlink and sed on *BSD
-case "$OSTYPE" in
-    *bsd*)
-        MAKE="gmake"
-        NPROC="gnproc"
-        READLINK="greadlink"
-        SED="gsed"
-        ;;
-    *)
-        MAKE="make"
-        NPROC="nproc"
-        READLINK="readlink"
-        SED="sed"
-        ;;
-esac
+# Use system's GNU version for make, nproc, readlink and sed on *BSD
+MAKE=$(command -v gmake||command -v make)
+NPROC=$(command -v gnproc||command -v nproc)
+READLINK=$(command -v greadlink||command -v readlink)
+SED=$(command -v gsed||command -v sed)
 
 ME="${0}"
 ME_dir="$(dirname -- "$("${READLINK}" -fm -- "${ME}")")"