bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Alejandro Colomar
Subject: [bug #65600] `--silent` option should also silence `$(info ...)`
Date: Wed, 17 Apr 2024 17:58:39 -0400 (EDT)

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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]