This commit is contained in:
Wenxuan Zhao 2017-12-14 21:18:15 -08:00
parent da2184ef53
commit d0b3f03139
No known key found for this signature in database
GPG Key ID: 0B45B13F10587A57
2 changed files with 3 additions and 3 deletions

View File

@ -1,2 +1,2 @@
language: ruby
script: make check
language: c
script: make -s check

View File

@ -12,7 +12,7 @@ check: $(CHANGE_FILE)
cat $(CHANGE_FILE)
echo
echo 'Check for rules...'
make -k $(RULES) | grep '^Rule Matched: '
make -k $(RULES) 2>/dev/null | grep '^Rule Matched: '
$(CHANGE_FILE):
git --no-pager diff $(TRAVIS_BRANCH) FETCH_HEAD --no-renames --name-status > $@