Merge pull request #361 from tautschnig/travis-reconfig

Travis reconfig
diffblue · Dec 18, 2016 · 47f8558 · 47f8558
2 parents 3d9eba2 + 74afa68
commit 47f8558
Showing 1 changed file with 3 additions and 6 deletions.
diff --git 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