Am 21.07.2014 19:45, schrieb Johannes Schindelin: > Hi Junio, > > On Mon, 21 Jul 2014, Junio C Hamano wrote: > >> Oh by the way, can somebody remind me why we spell these as >> NOT_MINGW, instead of !MINGW? > > I guess that is my mistake; when I introduced the use of NOT_MINGW I was > simply unaware of the !MINGW syntax. You can hardly be blamed. The first occurrence of NOT_MINGW was added much earlier than the ability to negate prerequisite tokens. > Let's use the latter consistently? Of course! -- Hannes -- 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