Follow-up Comment #4, bug #34830 (project make):
Your suggestion works, but --disable-job-server indeed doesn't work. How
about the attached suggestion? It is actually an edited form of configure.in
r1.157. Works with and without --disable-job-server properly for me.
(file #24384, file #24385)
_______________________________________________________
Additional Item Attachment:
File name: configure.in Size:14 KB
File name: configure.in.diff Size:1 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?34830>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
