diff options
Diffstat (limited to 'main/make/make-3.82-jobserver.patch')
| -rw-r--r-- | main/make/make-3.82-jobserver.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/main/make/make-3.82-jobserver.patch b/main/make/make-3.82-jobserver.patch deleted file mode 100644 index 2a855031dd..0000000000 --- a/main/make/make-3.82-jobserver.patch +++ /dev/null @@ -1,19 +0,0 @@ -diff -up make-3.82/main.c\~ make-3.82/main.c ---- make-3.82/main.c~ 2010-08-12 14:59:20.000000000 +0200 -+++ make-3.82/main.c 2010-08-12 15:00:07.000000000 +0200 -@@ -1756,8 +1756,11 @@ 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); - -Diff finished. Thu Aug 12 15:00:22 2010 |