1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-28 23:42:10 +03:00

configure: Allow adding a custom string to PG_VERSION

This can be used to mark custom built binaries with an extra version
string such as a git describe identifier or distribution package release
version.

From: Oskari Saarenmaa <os@ohmu.fi>
This commit is contained in:
Peter Eisentraut
2013-12-12 21:53:21 -05:00
parent ccca6f56f5
commit 46328916ee
3 changed files with 56 additions and 8 deletions

View File

@ -628,6 +628,19 @@ su - postgres
<para>
<variablelist>
<varlistentry>
<term><option>--with-extra-version=<replaceable>STRING</></option></term>
<listitem>
<para>
Append <replaceable>STRING</> to the PostgreSQL version number. You
can use this, for example, to mark binaries built from unreleased Git
snapshots or containing custom patches with an extra version string
such as a <command>git describe</command> identifier or a
distribution package release number.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>--with-includes=<replaceable>DIRECTORIES</></option></term>
<listitem>