On Thu, Apr 01, 2021 at 02:17:14PM +0200, Andrea Bolognani wrote: > Since /usr/local is where ports live, it's reasonable to assume > that a grep binary found in there will have been installed via > ports and will thus be GNU grep. > > Suggested-by: Erik Skultety <eskultet@xxxxxxxxxx> > Signed-off-by: Andrea Bolognani <abologna@xxxxxxxxxx> > --- Feels weird ACKing this, but FWIW: Reviewed-by: Erik Skultety <eskultet@xxxxxxxxxx>