From 911d2352acf7e2971d66db27c8fddc05cb5484ca Mon Sep 17 00:00:00 2001 From: Renz Christian Bagaporo Date: Mon, 17 Dec 2018 14:03:45 +0800 Subject: [PATCH] ci: detect command not found build errors --- tools/ci/build_examples.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci/build_examples.sh b/tools/ci/build_examples.sh index eb8a5993ae..cd729406ff 100755 --- a/tools/ci/build_examples.sh +++ b/tools/ci/build_examples.sh @@ -152,7 +152,7 @@ build_example () { cat ${BUILDLOG} popd - grep -i "error\|warning" "${BUILDLOG}" 2>&1 >> "${LOG_SUSPECTED}" || : + grep -i "error\|warning\|command not found" "${BUILDLOG}" 2>&1 >> "${LOG_SUSPECTED}" || : } EXAMPLE_NUM=0 -- 2.40.0