5589dc
diff -up make-3.82/main.c\~ make-3.82/main.c
5589dc
--- make-3.82/main.c~	2010-08-12 14:59:20.000000000 +0200
5589dc
+++ make-3.82/main.c	2010-08-12 15:00:07.000000000 +0200
5589dc
@@ -1756,8 +1756,11 @@ main (int argc, char **argv, char **envp
5589dc
 
5589dc
       if (job_slots > 0)
5589dc
         {
5589dc
-          close (job_fds[0]);
5589dc
-          close (job_fds[1]);
5589dc
+	  if (restarts == 0)
5589dc
+	    {
5589dc
+	      close (job_fds[0]);
5589dc
+	      close (job_fds[1]);
5589dc
+	    }
5589dc
           job_fds[0] = job_fds[1] = -1;
5589dc
           free (jobserver_fds->list);
5589dc
           free (jobserver_fds);
5589dc
5589dc
Diff finished.  Thu Aug 12 15:00:22 2010