On Tue, Jan 8, 2013 at 8:37 AM, Ian Lynagh <[email protected]> wrote: > Well, ideally I'd like to find a solution that doesn't require all the > users to install a newer make. But I'll do some more diagnosis and see > what I find.
Yes. If it's a fixed bug then a little binary searching or a walk through the Changes file should find the details of the specific bug which may with luck lead to a workaround. David _______________________________________________ Bug-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-make
