diff options
author | rafan <rafan@FreeBSD.org> | 2007-07-23 17:25:51 +0800 |
---|---|---|
committer | rafan <rafan@FreeBSD.org> | 2007-07-23 17:25:51 +0800 |
commit | 855b1df39bc3a6f03abf878d9c99b5ba0838ba35 (patch) | |
tree | 2cce30971c11f91294cbed05900c552da2fb31a0 /lang/gnat-gcc43 | |
parent | 5d8f91120b5cbd84268d11d95158be45d3e4d205 (diff) | |
download | freebsd-ports-gnome-855b1df39bc3a6f03abf878d9c99b5ba0838ba35.tar.gz freebsd-ports-gnome-855b1df39bc3a6f03abf878d9c99b5ba0838ba35.tar.zst freebsd-ports-gnome-855b1df39bc3a6f03abf878d9c99b5ba0838ba35.zip |
- 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 'lang/gnat-gcc43')
0 files changed, 0 insertions, 0 deletions