Paul Smith wrote: > I fixed this one locally a couple of days ago; sorry for not pushing. > I'll do that shortly. > > I don't think this change is sufficient because if output_sync != > &make_sync then make_sync is never dumped with the change below.
I had assumed it wasn't a problem because make_sync is dumped in main.c before recipes are evaluated, but it certainly can't hurt to dump it as well. _______________________________________________ Bug-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-make
