> 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. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
