On Fri, Jul 17, 2020 at 8:58 AM David G. Johnston < david.g.johns...@gmail.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.