diff options
| author | David E. O'Brien <obrien@FreeBSD.org> | 2002-11-26 01:59:10 +0000 |
|---|---|---|
| committer | David E. O'Brien <obrien@FreeBSD.org> | 2002-11-26 01:59:10 +0000 |
| commit | f9a856abff4e24d032973a38e22c7419b00700ad (patch) | |
| tree | b069befbc5524ae7aa7a194e87d7dcd275fdb2e2 /lang/gcc32/files/patch-vc | |
| parent | 4a35363560b1ac15ee60492c213f4f13b71b153e (diff) | |
Notes
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 |