Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> When you switch a built REL_11_STABLE or earlier to REL_12_STABLE or
> later, you get during make install (or, therefore, make check) an error
While I don't necessarily object to the hack you propose here, it seems
to me that really we need to caution people more strongly about not just
cavalierly checking out a different branch in the same build directory
without fully cleaning up built files (that is, "git clean -dfx" or the
like). There are other gotchas that that creates, and I don't want to
establish a precedent that it's our job to work around them.
regards, tom lane