Daniel Gustafsson <daniel@yesql.se> writes:
>> On 3 Jan 2019, at 16:54, Chapman Flack <chap@anastigmatix.net> wrote:
>> Perhaps influenced by commit 842cb9f ?
> It is indeed related to that commit. You will need to do make distclean, or
> remove dynloader.h manually.
As a general rule, it's wise to do "make distclean" before "git pull"
when you're tracking master. This saves a lot of grief when someone
rearranges the set of generated files, as happened here. (If things
are really messed up, you might need "git clean -dfx" to get rid of
everything not in git.)
You might worry that this will greatly increase the rebuild time,
which it will if you don't take precautions. The way to fix that
is (1) use ccache and (2) set the configure script to use a cache
file.
regards, tom lane
