From ed31db47020fbf9a0d3d90f53ce4f3c9dc20fc3b Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Tue, 23 May 2017 18:07:51 +0200
Subject: [PATCH] dist: tools: build_and_test.sh: add header guard check
---
dist/tools/ci/build_and_test.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/dist/tools/ci/build_and_test.sh b/dist/tools/ci/build_and_test.sh
index a79ee2d5a0..80d628099b 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
--
GitLab