diff --git a/dist/tools/ci/build_and_test.sh b/dist/tools/ci/build_and_test.sh index a79ee2d5a07d8cf79e1fe57a43008b83dd452c93..80d628099b079556bb204b56ec41bac173a6a4b6 100755 --- a/dist/tools/ci/build_and_test.sh +++ b/dist/tools/ci/build_and_test.sh @@ -90,6 +90,7 @@ then run ./dist/tools/cppcheck/check.sh run ./dist/tools/pr_check/pr_check.sh ${CI_BASE_BRANCH} run ./dist/tools/coccinelle/check.sh + QUIET=1 run ./dist/tools/headerguards/check.sh exit $RESULT fi