From 25d5acf904b5a1b0ac338f001dfc43c5bddaeeb6 Mon Sep 17 00:00:00 2001 From: Petr Machata Date: Fri, 5 Oct 2007 14:54:40 +0000 Subject: [PATCH] ... but of course, I forgot to add the actual patch. Sheesh... --- make-3.81-jobserver.patch | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 make-3.81-jobserver.patch diff --git a/make-3.81-jobserver.patch b/make-3.81-jobserver.patch new file mode 100644 index 0000000..df65107 --- /dev/null +++ b/make-3.81-jobserver.patch @@ -0,0 +1,18 @@ +diff -urp make-3.81/main.c make-3.81-pm/main.c +--- make-3.81/main.c 2007-09-24 15:28:34.000000000 +0200 ++++ make-3.81-pm/main.c 2007-09-24 15:32:50.000000000 +0200 +@@ -1669,8 +1669,12 @@ main (int argc, char **argv, char **envp + + if (job_slots > 0) + { +- close (job_fds[0]); +- close (job_fds[1]); ++ if (restarts == 0) ++ { ++ close (job_fds[0]); ++ close (job_fds[1]); ++ } ++ + job_fds[0] = job_fds[1] = -1; + free (jobserver_fds->list); + free (jobserver_fds);