Allow cpplint to fail on Travis.

This is more preferrable than using ``|| true``.
This commit is contained in:
Vojtech Forejt 2017-03-31 16:10:50 +01:00
parent 5d1f30156c
commit 279b3caf91
1 changed files with 6 additions and 0 deletions

View File

@ -86,6 +86,12 @@ matrix:
script: scripts/travis_lint.sh
before_cache:
allow_failures:
- env: NAME="CPP-LINT"
install:
script: scripts/travis_lint.sh
before_cache:
install:
- COMMAND="make -C src minisat2-download" &&
eval ${PRE_COMMAND} ${COMMAND}