Try building storm with cached resources

8 years ago · 530802c179
1 changed files with 2 additions and 2 deletions
--- a/travis/postsubmit-helper.sh
+++ b/travis/postsubmit-helper.sh
@ -78,8 +78,8 @@ clang-default)
 esac
 run_make() {
-#  make storm -j$N_JOBS
+  make storm -j$N_JOBS
-  make resources -j$N_JOBS
+#  make resources -j$N_JOBS
 }
 # Build