Fabien COELHO <coelho(at)cri(dot)ensmp(dot)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