packaging/make-3.81-jobserver.patch

   1 diff -urp make-3.81/main.c make-3.81-pm/main.c
   2 --- make-3.81/main.c    2007-09-24 15:28:34.000000000 +0200
   3 +++ make-3.81-pm/main.c 2007-09-24 15:32:50.000000000 +0200
   4 @@ -1669,8 +1669,12 @@ main (int argc, char **argv, char **envp
   5
   6      if (job_slots > 0)
   7        {
   8 -        close (job_fds[0]);
   9 -        close (job_fds[1]);
  10 +       if (restarts == 0)
  11 +         {
  12 +           close (job_fds[0]);
  13 +           close (job_fds[1]);
  14 +         }
  15 +
  16          job_fds[0] = job_fds[1] = -1;
  17          free (jobserver_fds->list);
  18          free (jobserver_fds);