From c3dee83d205f057d9c599f17027d59bd8d11e04e Mon Sep 17 00:00:00 2001
From: hwsmm <9151706+hwsmm@users.noreply.github.com>
Date: Thu, 2 Jan 2025 00:52:41 +0900
Subject: [PATCH] Make bash quit on a command error

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

diff --git a/External/build.sh b/External/build.sh
index c1d5481..c689e6b 100755
--- a/External/build.sh
+++ b/External/build.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 pushd "$(dirname "$0")" >/dev/null
 
 # Check if environment variables are defined
@@ -8,7 +10,7 @@ if [[ -z $NAME || -z $RUNNER_OS || -z $FLAGS ]]; then
     exit 1
 fi
 
-SUDO=$(which sudo)
+SUDO=$(which sudo || exit 0)
 
 if [[ $RUNNER_OS == 'Linux' ]]; then
 # Setup Linux dependencies