Re: [HACKERS] show precise repos version for dev builds?

2017-10-11 Thread Jeremy Schneider
On Wed, Oct 11, 2017 at 1:19 AM, Craig Ringer wrote: > We started using it for BDR, but unfortunately too much software > explodes spectacularly when you use it, due to simplistic/buggy > version parsing. Since 10.0 will break most of that software anyway, maybe this is a

Re: [HACKERS] show precise repos version for dev builds?

2017-10-10 Thread Jeremy Schneider
On Sun, Oct 1, 2017 at 8:10 AM, Tom Lane wrote: > > configure --with-extra-version=whateveryouwant I see that this build option has been around since 9.4; is anyone using it to mark patched production builds? EnterpriseDB or 2ndQuadrant? How about the cloud providers?