diff --git a/Make b/Make index b2f30fba9a..817d394746 100755 --- 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 ." \