Mike Hommey <mh@xxxxxxxxxxxx> writes: > On Fri, Nov 27, 2009 at 10:28:38AM -0800, Junio C Hamano wrote: >> Mike Hommey <mh@xxxxxxxxxxxx> writes: >> ... >> > Then it's fine. But shouldn't that be noted somewhere, like in the >> > INSTALL file ? >> >> Surely. Please make it so. > > I had another idea in the interim. If GNU make is necessary, why not > make the Makefile an explicit GNU make only Makefile, by renaming it > GNUmakefile ? > > That wouldn't remove the need to add a note in the INSTALL file, though. I think you answered the question yourself. Personally, when I am dealing with other people's projects, I dislike ones that do not name their own Makefile "Makefile", as I traditionally have done my local customization by having a higher precedence Makefile ("makefile" in the old world order, or "GNUmakefile" for gmake) that sets things up and then call into upstream "Makefile". For this project, since I am the upstream, I do want to keep the file named "Makefile". -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html