From 2c5f3eab7ad9e2823eb343636e96bb7187f88a11 Mon Sep 17 00:00:00 2001 From: Sam Rabin Date: Fri, 11 Oct 2024 16:35:08 -0600 Subject: [PATCH] build_docs script now exits with error if anything goes wrong. --- doc/build_docs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc/build_docs b/doc/build_docs index 45c7099ec5..bc0007f2f9 100755 --- a/doc/build_docs +++ b/doc/build_docs @@ -1,4 +1,5 @@ #!/usr/bin/env bash +set -e if [ -f doc-builder/build_docs ]; then echo "Running: make fetch-images" @@ -6,5 +7,8 @@ if [ -f doc-builder/build_docs ]; then 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