misc: check that astyle exists

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
seL4 · Jul 15, 2024 · be8b703 · be8b703
1 parent 8c660fd
commit be8b703
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/misc/style-c.sh b/misc/style-c.sh
@@ -4,6 +4,13 @@
 #
 # SPDX-License-Identifier: BSD-2-Clause
 #
+set -e
+
+if ! command -v astyle >/dev/null 2>&1
+then
+    echo "astyle could not be found, it must be available to run the script."
+    exit 1
+fi
 
 # Format (in place) a list of files as C code.
 astyle --options="${0%/*}/astylerc" "$@"