Follow-up Comment #1, bug #18124 (project make):
Here is a new patch to fix. When make re-execs itself, it calls
clean_jobserver which may close job_fds. After it is re-execed,
it reads job_fds from jobserver_fds again and closes them when
jobserver mode is disabled. It closes the same fd twice. The
second time it closes the wrong file. This patch sets
jobserver_fds_invalid_flag after closing job_fds and checks it
before closing job_fds.
_______________________________________________________
Additional Item Attachment:
File name: make-3.81-job-4.patch Size:5 KB
An updated patch
<http://savannah.gnu.org/bugs/download.php?file_id=11093>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?18124>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make
