1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00

- Patch configure so it actually accepts --mandir and --infodir. Otherwise,

it will fail when we set them for GNU_CONFIGURE.

PR:		ports/111470
Approved by:	portmgr
Tested by:	pointyhat exp run
This commit is contained in:
Rong-En Fan 2007-07-23 09:19:24 +00:00
parent 77c477db44
commit e2d8f38ab2
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=196107

View File

@ -0,0 +1,23 @@
--- dis/disgen/configure.orig Mon Jul 16 21:38:36 2007
+++ dis/disgen/configure Mon Jul 16 21:41:58 2007
@@ -140,10 +140,20 @@
EOF
exit 0 ;;
+ -infodir | --infodir | --infodi | --infod | --info | --inf)
+ ac_prev=infodir ;;
+ -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
+ ;;
+
-host | --host | --hos | --ho)
ac_prev=host ;;
-host=* | --host=* | --hos=* | --ho=*)
host="$ac_optarg" ;;
+
+ -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
+ ac_prev=mandir ;;
+ -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
+ ;;
-nfp | --nfp | --nf)
# Obsolete; use --without-fp.