Hello,
> Fabien COELHO <coelho@cri.ensmp.fr> writes:
>> I wanted to know which version it was, and "11devel" is kind of imprecise.
>> ...
>> ISTM that extending the version name with the commit id and or date in
>> some version output, eg "11devel [2632bcc 2017-09-30 ...]", would do it.
>
> configure --with-extra-version=whateveryouwant
Thanks for the pointer!
So now I have to convince the apt.postgresql.org people to build the devel
version with this trick.
--
Fabien.
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers