diff --git a/travis/build-helper.sh b/travis/build-helper.sh index 835da8dc3..f601928f0 100755 --- a/travis/build-helper.sh +++ b/travis/build-helper.sh @@ -27,28 +27,18 @@ run() { fi echo travis_fold end cmake - # Make - travis_fold start make - make -j$N_JOBS - travis_fold end make - touch skip.txt - ;; - - Build2 | Build3) - # Make (run 2-3) - travis_fold start make - cd build - make -j$N_JOBS - travis_fold end make - touch skip.txt - ;; + ;& # fall-through to make step - Build4) - # Make (run 2-4) + Build2 | Build3 | Build4) + # Make travis_fold start make cd build make -j$N_JOBS travis_fold end make + if [[ "$1" != "Build4" ]] + then + touch skip.txt + fi ;; TestAll)