Andres Freund <andres@anarazel.de> wrote:
> I guess you built both in the same place and just prefix installed
> it to different directories?
We always build in a directory tree with a name based on the
version, with a prefix based on the version. This is routine for
us. I have a hard time believing that they made an error on that,
but I'll try to re-create in a controlled way so that I can report
specific error messages and confirm my assumptions.
-Kevin