Re: [PATCH v8 5/5] help: respect new common command grouping
- From
Junio C Hamano <gitster@pobox.com>
- Date
- May 19, 2015, 16:09 UTC
- 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.