"David G. Johnston" writes:
> Sorry for the noise - though maybe some insight is still warranted - but
> running make clean first seems to have cleared up my problem.
Yeah. Just doing "git pull" and "make" will often fail, because by
default there's nothing guaranteeing that all dependent files
On 2020-Jul-17, David G. Johnston wrote:
> On Fri, Jul 17, 2020 at 8:58 AM David G. Johnston <
> david.g.johns...@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 --e
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
