Next test

8 years ago · d8cc0428f4
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() {
  VERBOSE=1 make storm -j$N_JOBS
 #  make resources -j$N_JOBS
 #  VERBOSE=1 make storm -j$N_JOBS
  make resources -j$N_JOBS
 }
 # Build