Added more options to cppcheck
Added multithreads (since Travis supports 1.5) and enabled all reporting.
commita54ea34af8d032cc33a1c4b4f9b83a29699e405f
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateTue 10 Feb 2015, 19:58 (12 years ago)
parent42fe4f7
.travis.yml+1−1
@@ -25,7 +25,7 @@ script:
2525 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
2626 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
2727 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi
28− - if [[ "$TESTS" == "test_c" ]]; then cppcheck --error-exitcode=1 --quiet ./rts/ ; fi
28+ - if [[ "$TESTS" == "test_c" ]]; then cppcheck -j 2 --enable=all --error-exitcode=1 ./rts/ ; fi
2929 - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
3030 - make -j2 $TESTS
3131env: