On Fri, Jul 17, 2020 at 8:58 AM David G. Johnston <
david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
> Hey,
>
> I installed PostgreSQL source for the first time a few weeks ago. I am
> now just getting to my first pull-and-reinstall. I run make again at the
> top of the repo and I get:
> [...]
>
> I then ran ./configure again and got the same result. Ubuntu 18.04.
>
Sorry for the noise - though maybe some insight is still warranted - but
running make clean first seems to have cleared up my problem.
David J.