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.

Reply via email to