@@ -25,7 +25,7 @@ script:
25 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
25 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
26 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
26 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
27 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi
27 - 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
29 - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
29 - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
30 - make -j2 $TESTS
30 - make -j2 $TESTS