From c2261d2185fb7af712765daf1ec73df4c0da4545 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 9 May 2017 21:43:25 +0200
Subject: [PATCH] Make all

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

diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh
index 10064108d..d783a96ad 100755
--- 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
 }