From e8002536ec90b74148abce1c3de9bca0061dbe32 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Tue, 5 Jun 2018 18:23:01 +0200
Subject: [PATCH] disable quiet_make for the moment

---
 Makefile.system | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile.system b/Makefile.system
index eaf3e9889..5c16e2bee 100644
--- a/Makefile.system
+++ b/Makefile.system
@@ -155,9 +155,9 @@ ifeq ($(DEBUG), 1)
 GETARCH_FLAGS	+= -g
 endif
 
-ifeq ($(QUIET_MAKE), 1)
-MAKE += -s
-endif
+#ifeq ($(QUIET_MAKE), 1)
+#MAKE += -s
+#endif
 
 ifndef NO_PARALLEL_MAKE
 NO_PARALLEL_MAKE=0