mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-26 23:11:19 +01:00
dist: tools: build_and_test.sh: add header guard check
This commit is contained in:
parent
de07fe07e5
commit
ed31db4702
1
dist/tools/ci/build_and_test.sh
vendored
1
dist/tools/ci/build_and_test.sh
vendored
@ -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
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user