diff --git a/build/ltmain.sh b/build/ltmain.sh index b66dcc0d9a559e5196b20019c17fcc3333348273..9dff8b17dcd24e9b3eee0b93365e342775b6d1f1 100755 --- a/build/ltmain.sh +++ b/build/ltmain.sh @@ -163,6 +163,13 @@ if test -n "$prevopt"; then exit 1 fi +case "$show $MFLAGS -$MAKEFLAGS" in + :\ *) : ;; + *\ -*s*) + # Be silent inside 'make -s' + expr " $MFLAGS -$MAKEFLAGS" : '.* -[a-zA-Z]*s' >/dev/null && show=: ;; +esac + if test -z "$show_help"; then # Infer the operation mode.