From 32cacd1743f91b00bd3853348b1103d402e0b2bb Mon Sep 17 00:00:00 2001 From: smlng Date: Mon, 5 Mar 2018 13:54:10 +0100 Subject: [PATCH] tools: show diff for headerguards check on failure fixes #8737 --- dist/tools/ci/build_and_test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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