Skip to content

Commit edf0edd

Browse files
forejtvDaniel Kroening
authored and
Daniel Kroening
committed
CPPlint on travis change: it will run, but not produce errors. (#473)
1 parent 712fed1 commit edf0edd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.travis.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ matrix:
3636
compiler: clang
3737
env: COMPILER=clang++
3838
- env: NAME="CPP-LINT"
39-
script: scripts/run_lint.sh master HEAD
39+
script: scripts/run_lint.sh master HEAD || true
4040

4141
script:
4242
- make -C src minisat2-download

0 commit comments

Comments
 (0)