diff options
Diffstat (limited to 'lang/gcc33/files/patch-configure')
| -rw-r--r-- | lang/gcc33/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/gcc33/files/patch-configure b/lang/gcc33/files/patch-configure deleted file mode 100644 index 5223f67c27b2..000000000000 --- a/lang/gcc33/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- 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' |