Blame SOURCES/make-3.82-jobserver.patch

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