Re: make -s

[Ralf Wildenhues]

Hello Richard,

* Richard Hacker wrote on Thu, Jan 10, 2008 at 01:39:31PM CET:
> On Thursday 10 January 2008 08:29, Ralf Wildenhues wrote:
> > For whatever output is left done by libtool I expect that whoever want's
> > it silenced hard enough will have enough motivation to send a patch to
> > <address@hidden>.
> That shouldn't bee too difficult.

Misunderstanding again, this time my fault, sorry.

What I meant was: even with
  make -s LIBTOOLFLAGS=--silent

there will be some leftover output done by libtool.  If somebody wants
to fix that, be invited to provide a (complete) patch (best including
testsuite amend; the stresstest in Libtool HEAD would probably come in
handy).

If you want all tools silenced which are called by make, then I suggest
to simply use
  make >/dev/null || make

Eric already mentioned the portability issue with your patch.

Hope that helps.

Cheers,
Ralf