diff options
Diffstat (limited to 'lang/gcc32/files/patch-vc')
| -rw-r--r-- | lang/gcc32/files/patch-vc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/gcc32/files/patch-vc b/lang/gcc32/files/patch-vc new file mode 100644 index 000000000000..dc20a8edec75 --- /dev/null +++ b/lang/gcc32/files/patch-vc @@ -0,0 +1,11 @@ +--- Makefile.in.orig Mon Oct 7 13:47:05 2002 ++++ Makefile.in Fri Nov 22 14:23:28 2002 +@@ -154,7 +154,7 @@ + then echo $$r/texinfo/makeinfo/makeinfo ; \ + else if (makeinfo --version \ + | egrep 'texinfo[^0-9]*([1-3][0-9]|[4-9])') >/dev/null 2>&1; \ +- then echo makeinfo; else echo $$s/missing makeinfo; fi; fi` ++ then echo makeinfo --no-split ; else echo $$s/missing makeinfo; fi; fi` + + # This just becomes part of the MAKEINFO definition passed down to + # sub-makes. It lets flags be given on the command line while still |