[pgpool-committers: 7671] pgpool: Update configure file.

[Bo Peng]

Update configure file.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=06eda93678ca9272d7aa352a796ebd3e7b02a5d6

Modified Files
--------------
configure                     | 11 +++++++++++
src/Makefile.in               |  3 ++-
src/include/config.h.in       |  3 +++
src/parser/gram.c             |  4 ++--
src/tools/pgmd5/pool_config.c |  1 -
5 files changed, 18 insertions(+), 4 deletions(-)