On Tue, Jan 8, 2013 at 8:37 AM, Ian Lynagh <ig...@earth.li> 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 Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make