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

Follow-up Comment #11, bug #65600 (group make): [comment #10 comment #10:] > You might consider checking this blog post; it describes a "common" way to utilize silent / verbose rules. I haven't checked the details of the Linux man pages build system to know how much overlap etc. there is (or isn

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

Update of bug #65600 (group make): Status:None => Wont Fix Open/Closed:Open => Closed ___ Follow-up Comment #10: Thanks for the comment;

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

Follow-up Comment #9, bug #65600 (group make): [comment #8 comment #8:] > > [comment #7 comment #7:] > > > You can check the build system of the Linux man-pages, which I wrote in the last few years, if you're interested. It's quite complex, though, so it may be scary. :) > > > >

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

Follow-up Comment #8, bug #65600 (group make): [comment #7 comment #7:] > You can check the build system of the Linux man-pages, which I wrote in the last few years, if you're interested. It's quite complex, though, so it may be scary. :) > >

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

Follow-up Comment #7, bug #65600 (group make): [comment #5 comment #5:] > > [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, in

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

Follow-up Comment #6, bug #65600 (group make): I could not find a button to close this enhancement request. I assume I don't have any privileges. Feel free to close this item. ___ Reply to this item at:

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

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 -

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

Follow-up Comment #4, bug #65600 (group make): Hi Gökçe, [comment #3 comment #3:] > > [comment #2 comment #2:] > > No. --silent (and .SILENT) don't silence the output of any command. Where did you get that from? > > No. `@` is to not print the command before executing it. For silencing the c

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

Follow-up Comment #3, bug #65600 (group make): [comment #2 comment #2:] > No. --silent (and .SILENT) don't silence the output of any command. Where did you get that from? > No. `@` is to not print the command before executing it. For silencing the command, you'd need to >/dev/null I made a m

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

Follow-up Comment #2, bug #65600 (group make): [comment #0 original submission:] > Currently `--silent` option only silences the output of the executed commands. No. --silent (and .SILENT) don't silence the output of any command. Where did you get that from? > Some users of make use `echo` or

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

Follow-up Comment #1, bug #65600 (group make): [comment #0 original submission:] > I propose that `--silence`... I actually meant `--silent`. ___ Reply to this item at: _

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

URL: Summary: `--silent` option should also silence `$(info ...)` Group: make Submitter: goekce Submitted: Tue 16 Apr 2024 10:14:04 AM UTC Severity: 3 - Normal I