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 regards, tom lane -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers