Re: Makefile line number bug?

2015-11-13 Thread Jonny Grant
On 12/11/15 13:56, th...@vmware.com wrote: Jonny Grant writes: > Hello > Is this a bug? line numbers are output as (2), but actually they are > different. Note that also the "Hello" is output in the wrong order.. I > presume this may be the OS rather than GNU Make. > > Please keep m

Re: Makefile line number bug?

2015-11-13 Thread Paul Smith
On Thu, 2015-11-12 at 12:12 +, Jonny Grant wrote: > Is this a bug? line numbers are output as (2), but actually they are > different. Note that also the "Hello" is output in the wrong order.. I > presume this may be the OS rather than GNU Make. > $ make -f makefile.mak > makefile.mak:2: One >

Re: Makefile line number bug?

2015-11-13 Thread Jonny Grant
On 13/11/15 13:11, Paul Smith wrote: On Thu, 2015-11-12 at 12:12 +, Jonny Grant wrote: Is this a bug? line numbers are output as (2), but actually they are different. Note that also the "Hello" is output in the wrong order.. I presume this may be the OS rather than GNU Make. $ make -f m

Re: Makefile line number bug?

2015-11-13 Thread Paul Smith
On Fri, 2015-11-13 at 23:21 +, 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