build_docs script now exits with error if anything goes wrong.

samsrabin · Oct 11, 2024 · 2c5f3ea · 2c5f3ea
1 parent cb2363a
commit 2c5f3ea
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/doc/build_docs b/doc/build_docs
@@ -1,10 +1,14 @@
 #!/usr/bin/env bash
+set -e
 
 if [ -f doc-builder/build_docs ]; then
     echo "Running: make fetch-images"
     make fetch-images
     echo "Running: ./doc-builder/build_docs $@"
     ./doc-builder/build_docs "$@"
 else
-    echo "Obtain doc-builder by running './bin/git-fleximod update --optional' from the top-level"
+    echo "Obtain doc-builder by running './bin/git-fleximod update --optional' from the top-level" >&2
+    exit 1
 fi
+
+exit 0