Formerly job.c.~84~

diff --git a/job.c b/job.c
index 4f83d801e6e08bd5e5c29d8373648d7aba4b2f7b..1a55be78bcbf5adbb8a2291d66ab622ff52517e0 100644 (file)
--- a/job.c
+++ b/job.c
@@ -347,6 +347,9 @@ reap_children (block, err)
                  if (c->file->update_status != 0)
                    /* We failed to start the commands.  */
                    delete_child_targets (c);
+
+                 /* Tell update_file that some actual work has been done.  */
+                 ++files_remade;
                  break;
 
                default: