ci: detect command not found build errors

diff --git a/tools/ci/build_examples.sh b/tools/ci/build_examples.sh
index eb8a5993ae90968648c68c0c3734a15b79f6fe46..cd729406ff45f07da596ec17de2afc6543bf9ae3 100755 (executable)
--- 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