From 62fdd72a4efd5b75992adb51defb498823897afe Mon Sep 17 00:00:00 2001
From: Tony Cook <tony@develop-help.com>
Date: Wed, 2 Jul 2014 15:50:02 +1000
Subject: pass through -s if supplied, instead of defaulting to it

---
 make_ext.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'make_ext.pl')

diff --git a/make_ext.pl b/make_ext.pl
index 09d0ab45be..a67e894ef6 100644
--- a/make_ext.pl
+++ b/make_ext.pl
@@ -531,7 +531,7 @@ else
     if test ! -f Makefile ; then
 	echo "Warning: No Makefile!"
     fi
-    make -s $clean_target MAKE='@make' @pass_through
+    @make $clean_target MAKE='@make' @pass_through
 fi
 cd $return_dir
 EOS
-- 
cgit v1.2.1