Add CI check for Grep warnings

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1072902ae3dc7a280050043504298c26b11f1231..ba34243c18534239f2ec8130d963ec09eb8b3800 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -303,6 +303,7 @@ stages:
     - cd bin/tests/system
     - make -j${TEST_PARALLEL_JOBS:-1} -k check V=1
     - if git rev-parse > /dev/null 2>&1; then ( ! grep "^I:.*:file.*not removed$" *.log ); fi
+    - '( ! grep -F "grep: warning:" *.log )'
   after_script:
     - test -d bind-* && cd bind-*
     - REALSOURCEDIR="$PWD"