diff options
| -rw-r--r-- | src/bin/pg_config/pg_config.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bin/pg_config/pg_config.sh b/src/bin/pg_config/pg_config.sh index 2249717d9ae..6576260f4f2 100644 --- a/src/bin/pg_config/pg_config.sh +++ b/src/bin/pg_config/pg_config.sh @@ -7,7 +7,7 @@ # Author: Peter Eisentraut <peter_e@gmx.net> # Public domain -# $Header: /cvsroot/pgsql/src/bin/pg_config/Attic/pg_config.sh,v 1.2 2000/11/11 22:59:47 petere Exp $ +# $Header: /cvsroot/pgsql/src/bin/pg_config/Attic/pg_config.sh,v 1.3 2001/05/13 00:12:05 petere Exp $ me=`basename $0` @@ -15,7 +15,7 @@ me=`basename $0` val_bindir='@bindir@' val_includedir='@includedir@' val_libdir='@libdir@' -val_configure='@configure@' +val_configure="@configure@" val_version='@version@' help="\ |