Silence libtool if `make -s' is running

diff --git a/build/ltmain.sh b/build/ltmain.sh
index ae10cad021b7989973632c44046c9bd9a91e392f..674ef0fa9d4e79c96993558bd17105b08c7b2874 100755 (executable)
--- a/build/ltmain.sh
+++ b/build/ltmain.sh
@@ -207,6 +207,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.