Alvaro Herrera <alvhe...@alvh.no-ip.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
