On Fri, Aug 24, 2018 at 2:15 PM, Andres Freund <andres@anarazel.de> wrote:
> Do they persist after you do re-configure? If so, could you send your config.log?
I should point out to Bruce that this is clearly related to commit
143290efd0795b61ed2c8358fc1767e799140047.
--
Peter Geoghegan