diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh index 247978a47..15e395bda 100755 --- a/travis/postsubmit-helper.sh +++ b/travis/postsubmit-helper.sh @@ -78,7 +78,8 @@ clang-default) esac run_make() { - make storm -j$N_JOBS +# make storm -j$N_JOBS + make resources -j$N_JOBS } # Build