diff options
| author | Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> | 2003-04-18 20:26:20 +0200 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2003-04-18 18:26:20 +0000 |
| commit | 2f50999f20fd126f617513d23e16e49d5d752a06 (patch) | |
| tree | bbaa29cb06186c2389932521b366769c575f49dc /Makefile.in | |
| parent | 59c60a985d0f5a3c0d618950cd1b608114813968 (diff) | |
| download | gcc-2f50999f20fd126f617513d23e16e49d5d752a06.zip gcc-2f50999f20fd126f617513d23e16e49d5d752a06.tar.gz gcc-2f50999f20fd126f617513d23e16e49d5d752a06.tar.bz2 | |
Makefile.tpl (MAKEINFOFLAGS): Default to --split-size=5000000.
* Makefile.tpl (MAKEINFOFLAGS): Default to --split-size=5000000.
* Makefile.in: Regenerate.
From-SVN: r65786
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 615e3d3..1b993f5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -203,7 +203,8 @@ USUAL_MAKEINFO = `if [ -f $$r/texinfo/makeinfo/makeinfo ] ; \ # This just becomes part of the MAKEINFO definition passed down to # sub-makes. It lets flags be given on the command line while still # using the makeinfo from the object tree. -MAKEINFOFLAGS = +# (Default to avoid splitting info files by setting the threshold high.) +MAKEINFOFLAGS = --split-size=5000000 EXPECT = `if [ -f $$r/expect/expect ] ; \ then echo $$r/expect/expect ; \ |