> 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
Tom and Daniel, Thanks for the help on "make distclean". That did the trick. I will be more careful when pulling master. Somehow, I hadn't been hit with this before, which was just dumb luck. Thanks for helping me out. -- Andy
