diff options
| author | Peter Eisentraut | 2013-12-13 02:53:21 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2013-12-13 03:01:27 +0000 |
| commit | 46328916eefc5f9eaf249518e96f68afcd35923b (patch) | |
| tree | 2e143b7e66548bfd49f73a3fd9c2af25afb0ba99 /src | |
| parent | ccca6f56f5e027f28b033e5e2754e9ad18e8c9ae (diff) | |
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>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions