Update of bug #58979 (project make):
Status: None => Works for me
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #12:
I suspect that whatever this issue was it will be resolved by the next version
of GNU make which uses named pipes for the jobserver and thus is much less
prone to interference by other processes.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?58979>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
