Merge #10803: Explicitly search for bdb5.3.
commit91edda8f3c81ba5a69f44485f20d74f85ec9cee1
authorWladimir J. van der Laan <laanwj@gmail.com>
Mon, 17 Jul 2017 07:49:23 +0000 (17 09:49 +0200)
committerWladimir J. van der Laan <laanwj@gmail.com>
Mon, 17 Jul 2017 07:49:30 +0000 (17 09:49 +0200)
treed7fb4e1cd72c74f23b9e9ddc82c1b816b5710297
parent6859ad2936bf431cd745b6763b62051319435742
parent1cc251f50fb2f9cffa762b28e5d8685af4273663
Merge #10803: Explicitly search for bdb5.3.

1cc251f Explicitly search for bdb5.3. (Patrick Strateman)

Pull request description:

  Some systems do not symlink the major version to the minor version.

Tree-SHA512: 09c030f08442cbe54928a6d20bec31aae2662facf60b859ff9febd84f0711f68d7f920b84fb015764585b305d48faf74c5fe9c3c6a713a0809b78ec066187dd9