Re: Error during make, second install - Mailing list pgsql-hackers

From David G. Johnston
Subject Re: Error during make, second install
Date
Msg-id CAKFQuwZ8NrzcjrcVA-5q4Hrs=O7XzYyXYykJBAc7ekW78dKK8g@mail.gmail.com
Whole thread Raw
In response to Error during make, second install  ("David G. Johnston" <david.g.johnston@gmail.com>)
Responses Re: Error during make, second install  (Alvaro Herrera <alvherre@2ndquadrant.com>)
Re: Error during make, second install  (Tom Lane <tgl@sss.pgh.pa.us>)
List pgsql-hackers
On Fri, Jul 17, 2020 at 8:58 AM David G. Johnston <david.g.johnston@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.

pgsql-hackers by date:

Previous
From: "David G. Johnston"
Date:
Subject: Error during make, second install
Next
From: Etsuro Fujita
Date:
Subject: Re: Partitioning and postgres_fdw optimisations for multi-tenancy