From 6dffef12d9448d04541d123990320ac741611dde Mon Sep 17 00:00:00 2001 From: "David B. Kinder" Date: Thu, 18 Oct 2018 15:28:36 -0700 Subject: [PATCH] doc: filter error exit status incorrect When the doc log is scanned for potential "new" errors, if any are found it wasn't returning a non-zero error code. Tracked-on: #1514 Signed-off-by: David B. Kinder --- doc/scripts/filter-doc-log.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/scripts/filter-doc-log.sh b/doc/scripts/filter-doc-log.sh index 0fea74456..116ccf0d5 100755 --- a/doc/scripts/filter-doc-log.sh +++ b/doc/scripts/filter-doc-log.sh @@ -38,6 +38,7 @@ if [ -s "${LOG_FILE}" ]; then echo cat doc.warnings echo + exit 1 else echo -e "${green}No new errors/warnings." $TPUT sgr0