diff options
Diffstat (limited to 'packaging/make-3.81-jobserver.patch')
| -rw-r--r-- | packaging/make-3.81-jobserver.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/packaging/make-3.81-jobserver.patch b/packaging/make-3.81-jobserver.patch deleted file mode 100644 index df65107..0000000 --- a/packaging/make-3.81-jobserver.patch +++ /dev/null @@ -1,18 +0,0 @@ -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); |