From d836630eabf5cd846ed0ec321d745c679160fe2f Mon Sep 17 00:00:00 2001
From: Susko3 <Susko3@protonmail.com>
Date: Wed, 1 Jan 2025 23:44:59 +0100
Subject: [PATCH] Clearly signal that sudo is not available on windows

---
 External/build.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/External/build.sh b/External/build.sh
index c689e6b..7e049b1 100755
--- a/External/build.sh
+++ b/External/build.sh
@@ -10,7 +10,9 @@ if [[ -z $NAME || -z $RUNNER_OS || -z $FLAGS ]]; then
     exit 1
 fi
 
-SUDO=$(which sudo || exit 0)
+if [[ $RUNNER_OS != 'Windows' ]]; then
+	SUDO=$(which sudo)
+fi
 
 if [[ $RUNNER_OS == 'Linux' ]]; then
 # Setup Linux dependencies