Meta/Make: support '-s'

diff --git a/Make b/Make
index b2f30fba9a1851f2b90821680918616e612b401b..817d394746271212b5360316846abad0307649fd 100755 (executable)
--- a/Make
+++ b/Make
@@ -55,7 +55,7 @@ do
        )
 done
 
-tests= jobs= oldtest= with_shell= testpen=
+tests= jobs= oldtest= with_shell= testpen= silent=
 clean=:
 
 determine_branch () {
@@ -111,6 +111,9 @@ do
                '')     jobs=$1 ;;
                esac
                ;;
+       -s)
+               silent=-s
+               ;;
        -noprove | --noprove)
                oldtest=t
                ;;
@@ -268,6 +271,7 @@ unset       SSH_AGENT_PID SSH_CLIENT SSH_TTY SSH_AUTH_SOCK SSH_CONNECTION \
 
 ${make-make} \
      $jobs \
+     $silent \
      ETC_GITCONFIG=$prefix/etc/gitconfig \
      ${DEVELOPER:+"DEVELOPER=YesPlease"} \
      SPATCH_FLAGS="--all-includes --recursive-includes --patch ." \