On Fri, Oct 10, 2014 at 8:11 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> Lou Picciano <loupicciano(at)comcast(dot)net> writes:
>> Having just git pulled from orgin/master:
>> $ ./configure
>> $ make
>> [ fails ]
>
> The buildfarm doesn't seem unhappy, so I doubt there's anything wrong
> with the code as such. Try "make clean" or even "make distclean" and
> rebuild. Also, if your computer's clock is or was badly off, you may
> have file timestamp skews breaking things ... in which case you might
> need "make maintainer-clean". If it's still broken after that, you'd
> be best advised to fix the clock and do a complete fresh "git clone".
Something more violent can as well be done:
git clean -dxf
This ensures that there are no other files than the ones of your git
repository, making your repository back to a "fresh" state.
Regards,
--
Michael