diff options
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' |