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, other than waste a bit
>> of time checking for the same file twice?
>
> No.
Ok, updated patch:
--- read.c 2013-10-09 06:22:42.000000000 +0100
+++ read.c.new 2014-07-07 18:10:43.914952000 +0100
@@ -246,7 +246,11 @@
#ifdef _AMIGA
{ "GNUmakefile", "Makefile", "SMakefile", 0 };
#else /* !Amiga && !VMS */
+#ifdef WINDOWS32
+ { "GNUmakefile", "makefile", "makefile.mak", 0 };
+#else
{ "GNUmakefile", "makefile", "Makefile", 0 };
+#endif
#endif /* AMIGA */
#endif /* VMS */
register char **p = default_makefiles;
Also renaming README.W32 -> README_W32.txt
Regards, Jon
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
