From dc3634910a1b24f60a4f43fa5a7251388d5c6707 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 9 May 2017 19:41:28 +0200
Subject: [PATCH] Make aggain

---
 travis/postsubmit-helper.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh
index 0514dfb31..10064108d 100755
--- a/travis/postsubmit-helper.sh
+++ b/travis/postsubmit-helper.sh
@@ -85,8 +85,8 @@ travis_fold() {
 
 run_make() {
   travis_fold start make
-#  VERBOSE=1 make storm -j$N_JOBS
-  make resources -j$N_JOBS
+  make storm -j$N_JOBS
+  #make resources -j$N_JOBS
   travis_fold end make
 }