mirror of
https://github.com/postgres/postgres.git
synced 2026-04-23 15:19:08 -04:00
Can't run autoconf on rel, so just manually update.
This commit is contained in:
parent
4dc661984b
commit
1d211a6be3
1 changed files with 1 additions and 1 deletions
2
configure
vendored
2
configure
vendored
|
|
@ -609,7 +609,7 @@ ac_config_sub=$ac_aux_dir/config.sub
|
|||
ac_configure=$ac_aux_dir/configure # This should be Cygnus configure.
|
||||
|
||||
|
||||
VERSION='7.1.1'
|
||||
VERSION='7.1.2'
|
||||
|
||||
cat >> confdefs.h <<EOF
|
||||
#define PG_VERSION "$VERSION"
|
||||
|
|
|
|||
Loading…
Reference in a new issue