diff options
| author | Bruce Momjian <bruce@momjian.us> | 2001-05-11 01:35:47 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2001-05-11 01:35:47 +0000 |
| commit | 1d211a6be39f5432c1d67518b4d701bca7d73394 (patch) | |
| tree | 4658514c9d74f08a0645704946ede26a0912a0e5 | |
| parent | 4dc661984b2ed35894ef691d79c783d21475bfeb (diff) | |
Can't run autoconf on rel, so just manually update.
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 5ecedfc67ee..85125152c0c 100755 --- a/configure +++ b/configure @@ -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" |