Re: Latest HEAD fails to build

2018-09-10 Thread Tom Lane
Rafia Sabih writes: >>> I tried maintaner-clean and distclean but it didn't work. FWIW, my invariable habit is to do "make distclean" *before* git pull, not after. That avoids synchronization problems like this one, where the updated makefiles don't know about some build product that used to get

Re: Latest HEAD fails to build

2018-09-10 Thread Rafia Sabih
On Mon, Sep 10, 2018 at 4:10 PM, Christoph Berg wrote: > Re: Rafia Sabih 2018-09-10 8hfpxsrr6mxab54ebju...@mail.gmail.com> > > Thanks for the interest and help you offered. But I didn't quite get it, > I > > tried maintaner-clean and distclean but it didn't work. > > git clean -xdf > Thanks Chr

Re: Latest HEAD fails to build

2018-09-10 Thread Christoph Berg
Re: Rafia Sabih 2018-09-10 > Thanks for the interest and help you offered. But I didn't quite get it, I > tried maintaner-clean and distclean but it didn't work. git clean -xdf Christoph

Re: Latest HEAD fails to build

2018-09-10 Thread Daniel Gustafsson
> On 10 Sep 2018, at 11:35, Rafia Sabih wrote: > On Mon, Sep 10, 2018 at 2:56 PM, Daniel Gustafsson > wrote: > > On 10 Sep 2018, at 11:22, Rafia Sabih > > wrote: > > > > Hi all, > > > > After pulling the the latest commit -- > > e3d

Re: Latest HEAD fails to build

2018-09-10 Thread Rafia Sabih
On Mon, Sep 10, 2018 at 2:56 PM, Daniel Gustafsson wrote: > > On 10 Sep 2018, at 11:22, Rafia Sabih > wrote: > > > > Hi all, > > > > After pulling the the latest commit -- > > e3d77ea6b4e425093db23be492f236896dd7b501, > I am getting following error on compiling, > > cp: cannot stat ‘./dynloader

Re: Latest HEAD fails to build

2018-09-10 Thread Daniel Gustafsson
> On 10 Sep 2018, at 11:22, Rafia Sabih wrote: > > Hi all, > > After pulling the the latest commit -- > e3d77ea6b4e425093db23be492f236896dd7b501, I am getting following error on > compiling, > cp: cannot stat ‘./dynloader.h’: No such file or directory > > Things were working fine till ac27c74