Re: Add "makefile.mak" to list of default makefiles

2014-07-07 Thread Eli Zaretskii
> From: Paul Smith > Cc: Eli Zaretskii , bug-make@gnu.org > Date: Mon, 07 Jul 2014 17:00:03 -0400 > > I do wonder, though, why we have both "makefile" and "Makefile" above. > Does that actually ever do anything on Windows, other than waste a bit > of time checking for the same file twice? No. _

Re: Add "makefile.mak" to list of default makefiles

2014-07-07 Thread David Boyce
I believe it's theoretically possible to have a case-sensitive filesystem on Windows though it would primarily benefit masochists. On Mon, Jul 7, 2014 at 5:00 PM, Paul Smith wrote: > On Mon, 2014-07-07 at 21:15 +0100, Jonny Grant wrote: >> +#ifdef WINDOWS32 >> + { "GNUmakefile", "makefile", "Make

Re: Add "makefile.mak" to list of default makefiles

2014-07-07 Thread Paul Smith
On Mon, 2014-07-07 at 21:15 +0100, Jonny Grant wrote: > +#ifdef WINDOWS32 > + { "GNUmakefile", "makefile", "Makefile", "makefile.mak", 0 }; > +#else This is OK with me. I definitely don't want to add "Makefile.mk" to the UNIX/POSIX side; that's not something anyone ever uses anyway. I do wonder,

Re: Add "makefile.mak" to list of default makefiles

2014-07-07 Thread Jonny Grant
On 7 July 2014 07:06, Paul Smith wrote: > On Mon, 2014-06-30 at 21:28 +0100, Jonny Grant wrote: >> I have a few, but triggered by make -f makefile.mak. So it would be >> quite useful GNU Make could pick up the Windows makefile extension >> .MAK > > If Eli feels this is useful for Windows implement

Re: Add "makefile.mak" to list of default makefiles

2014-07-07 Thread Eli Zaretskii
> Date: Mon, 7 Jul 2014 17:42:18 +0200 > From: Norbert Thiebaud > Cc: psm...@gnu.org, j...@jguk.org, "bug-make@gnu.org" > > >> Renaming the Windows README files is also fine with me if it's fine with > >> Eli. > > > > My only doubt about this request is that README files for other > > platforms

Re: Add "makefile.mak" to list of default makefiles

2014-07-07 Thread Norbert Thiebaud
On Mon, Jul 7, 2014 at 4:59 PM, Eli Zaretskii wrote: >> From: Paul Smith >> Cc: Eli Zaretskii , bug-make@gnu.org >> Date: Mon, 07 Jul 2014 02:06:54 -0400 >> >> On Mon, 2014-06-30 at 21:28 +0100, Jonny Grant wrote: >> > I have a few, but triggered by make -f makefile.mak. So it would be >> > quite

[bug #42695] Error compiling make from last git in Windows

2014-07-07 Thread Fabio
URL: Summary: Error compiling make from last git in Windows Project: make Submitted by: oldfaber Submitted on: lun 07 lug 2014 17:27:43 CEST Severity: 3 - Normal Item Gro

Re: Add "makefile.mak" to list of default makefiles

2014-07-07 Thread Eli Zaretskii
> From: Paul Smith > Cc: Eli Zaretskii , bug-make@gnu.org > Date: Mon, 07 Jul 2014 02:06:54 -0400 > > On Mon, 2014-06-30 at 21:28 +0100, Jonny Grant wrote: > > I have a few, but triggered by make -f makefile.mak. So it would be > > quite useful GNU Make could pick up the Windows makefile extensio

[bug #41445] Compilation fails on android due non-existing

2014-07-07 Thread Paul D. Smith
Update of bug #41445 (project make): Status:None => Fixed Assigned to:None => psmith Open/Closed:Open => Closed Fixed Release:

[bug #42599] .RECIPEPREFIX should not have to be at beginning of line

2014-07-07 Thread Paul D. Smith
Follow-up Comment #3, bug #42599 (project make): FYI, the error message is a duplicate of bug #41677 ___ Reply to this item at: ___ Message sent via/by

[bug #41677] wrong message "did you mean TAB instead of 8 spaces"

2014-07-07 Thread Paul D. Smith
Update of bug #41677 (project make): Status:None => Fixed Assigned to:None => psmith Open/Closed:Open => Closed Fixed Release:

[bug #42378] -Otarget + --no-print-directory buffering

2014-07-07 Thread Paul D. Smith
Update of bug #42378 (project make): Status:None => Fixed Assigned to:None => psmith Open/Closed:Open => Closed Fixed Release: