RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

Merge pull request #8738 from smlng/tools/headerguards/output

Browse Source 
tools: show diff for headerguards check on failure
This commit is contained in:
Martine Lenders 2018-03-05 21:51:37 +01:00 committed by GitHub
commit ba6d9276f8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/tools/ci/build_and_test.sh vendored
View File

@ -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