Make all

8 years ago · c2261d2185
1 changed files with 2 additions and 1 deletions
--- 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
 }