Re: [PATCH] Update make completion with gnu options

[Oliver Kiddle <okiddle@xxxxxxxxxxx>]

"Jun T." 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.

Oliver