diff --git a/dist/tools/ci/build_and_test.sh b/dist/tools/ci/build_and_test.sh index 9c376320d6..68e5025e87 100755 --- a/dist/tools/ci/build_and_test.sh +++ b/dist/tools/ci/build_and_test.sh @@ -92,7 +92,7 @@ then run ./dist/tools/pr_check/pr_check.sh ${CI_BASE_BRANCH} run ./dist/tools/coccinelle/check.sh run ./dist/tools/flake8/check.sh - QUIET=1 run ./dist/tools/headerguards/check.sh + run ./dist/tools/headerguards/check.sh exit $RESULT fi