mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-11-25 04:35:44 +00:00
(child_error): Do nothing if IGNORED under -s.
This commit is contained in:
parent
9fd3c2453b
commit
ee14af651f
1 changed files with 3 additions and 0 deletions
3
job.c
3
job.c
|
@ -175,6 +175,9 @@ child_error (target_name, exit_code, exit_sig, coredump, ignored)
|
|||
int exit_code, exit_sig, coredump;
|
||||
int ignored;
|
||||
{
|
||||
if (ignored && silent_flag)
|
||||
return;
|
||||
|
||||
if (exit_sig == 0)
|
||||
error (ignored ? "[%s] Error %d (ignored)" :
|
||||
"*** [%s] Error %d",
|
||||
|
|
Loading…
Reference in a new issue