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