[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Makefile line number bug?

From: Paul Smith
Subject: Re: Makefile line number bug?
Date: Sat, 14 Nov 2015 02:26:18 -0500

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 :).

reply via email to

[Prev in Thread] Current Thread [Next in Thread]