diff --git a/.travis.yml b/.travis.yml index cea814fd3c8..51999590a93 100644 --- a/.travis.yml +++ b/.travis.yml @@ -38,14 +38,11 @@ addons: packages: - libwww-perl -install: - - chmod a+x regression/failed-tests-printer.pl - - cd src && make minisat2-download - script: - - make CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 && cd ../regression && make test + - make -C src minisat2-download + - make -C src CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 && make -C regression test matrix: include: - env: NAME="CPP-LINT" - script: cd .. && python scripts/cpplint.py `git diff --name-only master HEAD` + script: DIFF=`git diff --name-only master HEAD` && if [ "$DIFF" != "" ]; then python scripts/cpplint.py $DIFF; fi