diff options
| author | rafan <rafan@FreeBSD.org> | 2007-07-23 17:23:53 +0800 |
|---|---|---|
| committer | rafan <rafan@FreeBSD.org> | 2007-07-23 17:23:53 +0800 |
| commit | b59b94878a00e1ab43280255eaaa6e19cd9c698b (patch) | |
| tree | 74c71c2cc7c604ab7e29062a8ba396ec528063ef /lang/gcc33 | |
| parent | e873053cf945e7083173f75a2de930dee36f0f7c (diff) | |
| download | freebsd-ports-gnome-b59b94878a00e1ab43280255eaaa6e19cd9c698b.tar.gz freebsd-ports-gnome-b59b94878a00e1ab43280255eaaa6e19cd9c698b.tar.zst freebsd-ports-gnome-b59b94878a00e1ab43280255eaaa6e19cd9c698b.zip | |
- Announce --mandir and --infodir in configure --help so it won't fail
when we pass them for GNU_CONFIGURE
PR: ports/111470
Approved by: portmgr
Tested by: pointyhat exp run
Diffstat (limited to 'lang/gcc33')
| -rw-r--r-- | lang/gcc33/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/gcc33/files/patch-configure b/lang/gcc33/files/patch-configure new file mode 100644 index 000000000000..5223f67c27b2 --- /dev/null +++ b/lang/gcc33/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig Thu May 24 11:21:39 2007 ++++ configure Thu May 24 11:22:15 2007 +@@ -508,6 +508,8 @@ + echo ' --srcdir=DIR find the sources in DIR [. or ..]' + echo ' --target=TARGET configure for TARGET [TARGET=HOST]' + echo ' --tmpdir=TMPDIR create temporary files in TMPDIR [/tmp]' ++ echo ' --infodir=DIR info documentation in DIR [PREFIX/info]' ++ echo ' --mandir=DIR man documentation in DIR [PREFIX/man]' + echo ' --nfp configure for software floating point [hard float]' + echo ' --with-FOO, --with-FOO=BAR package FOO is available (parameter BAR)' + echo ' --without-FOO package FOO is NOT available' |