mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
travis: added whitespace error to travis config
This commit is contained in:
parent
8fa44ee117
commit
05fc8493d3
@ -44,6 +44,8 @@ script:
|
||||
- make -s -C ./examples/default info-concurrency
|
||||
- git rebase riot/master || git rebase --abort
|
||||
|
||||
- ./dist/tools/whitespacecheck/check.sh master || exit
|
||||
|
||||
- ./dist/tools/licenses/check.sh master --diff-filter=MR --error-exitcode=0 || exit
|
||||
- ./dist/tools/licenses/check.sh master --diff-filter=AC || exit
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user