From 32cacd1743f91b00bd3853348b1103d402e0b2bb Mon Sep 17 00:00:00 2001
From: smlng <s@mlng.net>
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
--
GitLab