Hello,
Fabien COELHO <coe...@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