diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh index 10064108d..d783a96ad 100755 --- a/travis/postsubmit-helper.sh +++ b/travis/postsubmit-helper.sh @@ -85,8 +85,9 @@ travis_fold() { run_make() { travis_fold start make - make storm -j$N_JOBS + #make storm -j$N_JOBS #make resources -j$N_JOBS + make -j$N_JOBS travis_fold end make }