From 530802c179bc9edafedc0eec2bc0ce2f7dfc374b Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 8 May 2017 10:53:25 +0200
Subject: [PATCH] Try building storm with cached resources

---
 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 15e395bda..89a756984 100755
--- 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 resources -j$N_JOBS
+  make storm -j$N_JOBS
+#  make resources -j$N_JOBS
 }
 
 # Build