From e6af59c23fcfd3e3617c6dc781f33734b3bd5e47 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 9 May 2017 11:10:24 +0200
Subject: [PATCH] Make verbose

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

diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh
index b3bee12c2..734cb09d4 100755
--- a/travis/postsubmit-helper.sh
+++ b/travis/postsubmit-helper.sh
@@ -78,7 +78,7 @@ clang-default)
 esac
 
 run_make() {
-  make storm -j$N_JOBS
+  VERBOSE=1 make storm -j$N_JOBS
 #  make resources -j$N_JOBS
 }