[setup] Update setup.sh

lindhe · Jul 31, 2023 · ec691da · ec691da
1 parent d2f5d83
commit ec691da
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/setup.sh b/setup.sh
@@ -2,8 +2,14 @@
 
 set -euo pipefail
 
+stderr() {
+    echo "${@}" 1>&2
+}
+
 fail() {
-    echo "FAILURE: ${1}" >&2
+    stderr "${1}"
+    stderr ""
+    stderr "Exiting …"
     exit "${2:-1}"
 }