(child_error): Do nothing if IGNORED under -s.

diff --git a/job.c b/job.c
index daefc5cbd2c59672b5159629012bd84a532ce7ee..c27f2a4ba6fb9690d206f84c886145c083c72a8a 100644 (file)
--- a/job.c
+++ b/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",