diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh
index 734cb09d4..c521b23c9 100755
--- 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