On 2020-Jul-17, David G. Johnston wrote:
> On Fri, Jul 17, 2020 at 8:58 AM David G. Johnston <
> david.g.johnston@gmail.com> wrote:
> Sorry for the noise - though maybe some insight is still warranted - but
> running make clean first seems to have cleared up my problem.
Do you run "configure --enable-depend"? If not, then make clean is
mandatory before pulling changes.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services