mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-27 00:57:50 +00:00
e2d8f38ab2
it will fail when we set them for GNU_CONFIGURE. PR: ports/111470 Approved by: portmgr Tested by: pointyhat exp run
24 lines
678 B
Plaintext
24 lines
678 B
Plaintext
--- 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.
|