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
More majordomo info at

Reply via email to