Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> writes:
> I think this means the rule should use $(GREP), which is /usr/bin/ggrep
> in wrasse,
I didn't install this change, because it isn't actually needed at the
moment, and we aren't using $(GREP) anywhere else. Might be a bridge
to cross in future.
regards, tom lane