Alvaro Herrera <alvherre@commandprompt.com> writes:
> That was pretty weird. I had rm'd the build tree and rebuilt, failure
> still there. I then did a git reset FETCH_HEAD, recompiled, and the
> problem was gone. git reset to my revision, failed. Then git clean
> -dfx, nuked the build tree, redid the whole thing from scratch, no
> problem. I guess there was a mismatch on the files that we build in the
> source tree.
git bug? I'd expect exactly that failure if you had the test changes
but not the source fixes from commit dccfb72892acabd25568539ec882cc44c57c25bd.
regards, tom lane