> Date: Tue, 8 Jul 2014 13:55:40 +0100 > From: Jonny Grant <[email protected]> > Cc: [email protected], [email protected] > > On 8 July 2014 03:38, Eli Zaretskii <[email protected]> wrote: > >> From: Paul Smith <[email protected]> > >> Cc: Eli Zaretskii <[email protected]>, [email protected] > >> 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 [email protected] https://lists.gnu.org/mailman/listinfo/bug-make
