Andres Freund <andres@2ndquadrant.com> writes:
> On 2013-02-23 14:54:51 -0800, Jeff Janes wrote:
>> I don't know if the Makefile needs to be taught not to delete it, or taught
>> how to recreate it once deleted.
> It shouldn't be deleted,
I came to the same conclusion and committed that a few minutes before
you posted.
> I independently wonder whether we should remove the PGXS stub from
> xlogdump, given it relies on a full sourcetree available?
I'd just as soon keep its Makefile looking like all the others.
regards, tom lane
