[bug #65600] `--silent` option should also silence `$(info ...)`

[Gökçe]

Follow-up Comment #5, bug #65600 (group make):


[comment #4 comment #4:]

> Hmmm, I still disagree, because $(info) is a replacement for echo(1).  In
fact, I use .SILENCE to not show any commands, and then $(info) shows pretty
versions of them (e.g., CC file.o, instead of cc -Wall -Wextra ... -c -o
file.o file.c).
> 
> I could change those to use @echo, but the performance would significantly
degrade.

Your way of using .SILENCE sounds interesting, I will try that!

I understand that $(info) is just a more efficient echo(1). Then I could argue
that they are in the same category and should be switched off by --silent.
However this would prohibit the easy way of switching of printing the commands
before executing like in your approach, which I find also very useful. I
believe my case currently does not outweigh the costs of changing this
behavior and this enhancement request can be closed in my opinion.

> Let me ask you why you can't redirect make(1)'s output?

I use a tool called Verilator (https://verilator.org) that emits C++ code
which can compiled to a simulation binary each time when it is invoked. It
uses makefiles under the hood and it only allows me to specify -MAKEOPTS to
influence what I do with makefiles. If I would use `> /dev/null` then I would
silence whole commands output.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?65600>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/