diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 09:25:51 +0000 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2007-07-23 09:25:51 +0000 |
| commit | 703b5eb18b542fec0e78704ada72142cd2b33175 (patch) | |
| tree | 9bc16c75a582b38a5e502a382d145a0ab0d92311 /databases/postgresql73-server/files/patch-configure | |
| parent | Update to 0.6.5. (diff) | |
- Accept --infodir argument in configure script so it won't fail when we
set --mandir and --infodir in bsd.port.mk for GNU_CONFIGURE
PR: ports/111470
Approved by: portmgr
Tested by: pointyhat exp run
Diffstat (limited to 'databases/postgresql73-server/files/patch-configure')
| -rw-r--r-- | databases/postgresql73-server/files/patch-configure | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/databases/postgresql73-server/files/patch-configure b/databases/postgresql73-server/files/patch-configure index efeca517d300..ed7555e8e259 100644 --- a/databases/postgresql73-server/files/patch-configure +++ b/databases/postgresql73-server/files/patch-configure @@ -1,5 +1,17 @@ --- configure.orig Wed Jun 26 21:28:24 2002 +++ configure Wed Jun 26 21:35:16 2002 +@@ -441,6 +441,11 @@ + -docdir=* | --docdir=* | --infodi=* | --infod=* | --doc=* | --inf=*) + docdir=$ac_optarg ;; + ++ -infodir | --infodir | --infodi | --infod | --info | --inf) ++ ac_prev=infodir ;; ++ -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*) ++ infodir=$ac_optarg ;; ++ + -libdir | --libdir | --libdi | --libd) + ac_prev=libdir ;; + -libdir=* | --libdir=* | --libdi=* | --libd=*) @@ -2007,11 +2007,13 @@ EOF |