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/
