1
0
mirror of https://github.com/postgres/postgres.git synced 2025-09-02 04:21:28 +03:00

Put [] around default value for port number.

This commit is contained in:
Peter Eisentraut
2005-12-08 21:29:25 +00:00
parent af6ef3028d
commit 2986f42984
2 changed files with 3 additions and 3 deletions

View File

@@ -1,5 +1,5 @@
dnl Process this file with autoconf to produce a configure script.
dnl $PostgreSQL: pgsql/configure.in,v 1.436 2005/12/06 18:35:09 momjian Exp $
dnl $PostgreSQL: pgsql/configure.in,v 1.437 2005/12/08 21:29:25 petere Exp $
dnl
dnl Developers, please strive to achieve this order:
dnl
@@ -166,7 +166,7 @@ AC_SUBST(WANTED_LANGUAGES)
# Default port number (--with-pgport), default 5432
#
AC_MSG_CHECKING([for default port number])
PGAC_ARG_REQ(with, pgport, [ --with-pgport=PORTNUM change default port number [5432]],
PGAC_ARG_REQ(with, pgport, [ --with-pgport=PORTNUM change default port number [[5432]]],
[default_port=$withval],
[default_port=5432])
AC_MSG_RESULT([$default_port])