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 `$(info ..)` to summarize what is being
done in a recipe and use `@` to silence the executed commands.
No. `@` is to not print the command before executing it. For silencing the
command, you'd need to >/dev/null
> However it is not possible to silence `echo` or `$(info ..)`.
Use `echo ... >/dev/null`, although I don't know why you'd want to silence
echo(1). If you don't want echo(1), just remove it.
> IMHO silencing the output is important in user-facing applications that
still make use of makefiles, e.g., an application that creates a simulation
binary from provided code.
>
> I propose that `--silence` should include `$(info ..)`, but not `$(warning
..)` and `$(error ..)`. What do you think?
No.
If you want to silence make(1), you can `make >/dev/null`.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?65600>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
