From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 19 May 2015 16:09:35 GMT
Subject: Re: [PATCH v8 5/5] help: respect new common command grouping
Message-ID: <xmqq1tica6rk.fsf@gitster.dls.corp.google.com>
In-Reply-To: <20150519004356.GA12854@flurp.local>

Eric Sunshine <sunshine@sunshineco.com> writes:

> The awk script restricts itself to POSIX, and I did test it on Linux,
> Mac OS X, and FreeBSD, so it seems pretty portable.

I was worried more about some people only having gawk while others
with mawk and yet others nawk, etc., without having one of them
under the canonical name "awk".  It's nothing what

    $ make AWK=mawk

or its config.mak equivalent cannot fix, but still bothers me a bit.