diff options
author | Richard Guenther <rguenther@suse.de> | 2009-01-02 10:39:59 +0000 |
---|---|---|
committer | Laurent Guerby <guerby@gcc.gnu.org> | 2009-01-02 10:39:59 +0000 |
commit | 00f39bd53c97895bfd525824b421d9656df398d8 (patch) | |
tree | 04cc0ec02273247bfcce773773a1fa9bc57f6cf9 /gcc/tree-pretty-print.c | |
parent | e57fcb68218703aeb8e6194ee0560736d51c61e6 (diff) | |
download | gcc-00f39bd53c97895bfd525824b421d9656df398d8.zip gcc-00f39bd53c97895bfd525824b421d9656df398d8.tar.gz gcc-00f39bd53c97895bfd525824b421d9656df398d8.tar.bz2 |
install.texi (--enable-checking): Mention different default for stage1.
2009-01-02 Richard Guenther <rguenther@suse.de>
* doc/install.texi (--enable-checking): Mention different
default for stage1.
(--enable-stage1-checking): Document.
From-SVN: r143007
Diffstat (limited to 'gcc/tree-pretty-print.c')
0 files changed, 0 insertions, 0 deletions