Date: Tue, 8 Jul 2014 13:55:40 +0100
From: Jonny Grant j...@jguk.org
Cc: psm...@gnu.org, bug-make@gnu.org
On 8 July 2014 03:38, Eli Zaretskii e...@gnu.org wrote:
From: Paul Smith psm...@gnu.org
Cc: Eli Zaretskii e...@gnu.org, bug-make@gnu.org
Date: Mon, 07 Jul 2014 17:00:03 -0400
I
On 8 July 2014 03:38, Eli Zaretskii e...@gnu.org wrote:
From: Paul Smith psm...@gnu.org
Cc: Eli Zaretskii e...@gnu.org, 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,
From: Paul Smith psm...@gnu.org
Cc: Eli Zaretskii e...@gnu.org, 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
On Mon, Jul 7, 2014 at 4:59 PM, Eli Zaretskii e...@gnu.org wrote:
From: Paul Smith psm...@gnu.org
Cc: Eli Zaretskii e...@gnu.org, 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.
Date: Mon, 7 Jul 2014 17:42:18 +0200
From: Norbert Thiebaud nthieb...@gmail.com
Cc: psm...@gnu.org, j...@jguk.org, bug-make@gnu.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
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 psm...@gnu.org wrote:
On Mon, 2014-07-07 at 21:15 +0100, Jonny Grant wrote:
+#ifdef WINDOWS32
+ { GNUmakefile, makefile,
From: Paul Smith psm...@gnu.org
Cc: Eli Zaretskii e...@gnu.org, 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
On Mon Jun 30 21:28:43 2014, j...@jguk.org (Jonny Grant) wrote:
Hi Eli
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
On non-Windows platforms I've seen .mk quite a few times,
but never .mak.
I
Hi Eli
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
I would also rename README.W32 to be README_W32.txt
Regards, Jon
On 28 June 2014 15:11, Eli Zaretskii e...@gnu.org wrote:
Date: Sat, 28 Jun 2014
Hello Paul
Could the following change be added please.
Rationale, on Windows makefiles often have this name for other make
programs. In addition it is easier to associate with an editor because
it has an extension.
I am not a member of this list, so could I ask to keep my email
address included
Date: Sat, 28 Jun 2014 12:12:32 +0100
From: Jonny Grant j...@jguk.org
Rationale, on Windows makefiles often have this name for other make
programs. In addition it is easier to associate with an editor because
it has an extension.
FWIW, I have only one makefile.mak on my system, and it
11 matches
Mail list logo
