From e3759eb326a67d22747045b18930ec78d9e912ef Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 16 May 2017 08:17:52 +0200
Subject: [PATCH] Verbose output for make

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

diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh
index f26f6a617..5f57a036a 100755
--- a/travis/postsubmit-helper.sh
+++ b/travis/postsubmit-helper.sh
@@ -30,7 +30,7 @@ run() {
     travis_fold end cmake
     # Make resources
     travis_fold start make_dep
-    make resources -j$N_JOBS
+    VERBOSE=1 make resources -j$N_JOBS
     travis_fold end make_dep
     ;;
 
@@ -38,7 +38,7 @@ run() {
     # Make libstorm
     travis_fold start make_lib
     cd build
-    make storm -j$N_JOBS
+    VERBOSE=1 make storm -j$N_JOBS
     travis_fold end make_lib
     ;;
 
@@ -46,7 +46,7 @@ run() {
     # Make all
     travis_fold start make_all
     cd build
-    make -j$N_JOBS
+    VERBOSE=1 make -j$N_JOBS
     travis_fold end make_all
     ;;