Re: [PATCH] Update make completion with gnu options

["Jun T." <takimoto-j@xxxxxxxxxxxxxxxxx>]

On 2013/07/18, at 18:21, Oliver Kiddle <okiddle@xxxxxxxxxxx> wrote:
>> Why the last '-f' is necessary here?
> 
> Because otherwise, most non-GNU make's will actually attempt to make
> stuff. The -v enables distributed building with some implementations of
> make, for example. Unlike -v, the -f option is fairly standard and
> supplying it without a filename is a fairly good way to ensure that any
> make will print an error and exit.

Aha! Thanks for the clarification.

(important tricks of the trade are always undocumented...)