On Fri, 2015-11-13 at 23:21 +0000, Jonny Grant wrote: > > Probably the line number thing is an error: clearly it would be better > > if the correct line number was preserved.
> Would it be useful for me to open a bug for this? on > http://savannah.gnu.org/bugs/?group=make Sure... it definitely can't hurt :). _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
