> 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 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;
Thanks, I pushed this in your name.
> Also renaming README.W32 -> README_W32.txt
I didn't do anything about this part. As long as README files for
other platforms don't have .txt or .text extensions, I see no reason
why the one for Windows should.
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
