David Fetter <david(at)fetter(dot)org> writes:> Shouldn't this patch configure.in instead?
No. The stuff in config/ is also inputs for building configure.
regards, tom lane