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