pass through -s if supplied, instead of defaulting to it

diff --git a/make_ext.pl b/make_ext.pl
index 09d0ab4..a67e894 100644 (file)
--- 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