install.texi: Add doc for --enable-checking=df.

2008-01-20  Kenneth Zadeck <zadeck@naturalbridge.com>

	* doc/install.texi: Add doc for --enable-checking=df.

From-SVN: r131685

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cc25fb742414fa5b29bc0e86ba6a7d51dd157287..f0613812b1e2d045002b185725521c29286087fe 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2008-01-20  Kenneth Zadeck <zadeck@naturalbridge.com>
+
+       * doc/install.texi: Add doc for --enable-checking=df.
+       
 2008-01-20  Kaz Kojima  <kkojima@gcc.gnu.org>
 
        PR rtl-optimization/34808

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index e8b9d4cb5335e9047f3b720e3c17375234841388..7ab605ff9e31adc36b51d83eb4b737017cac4a30 100644 (file)
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -1271,12 +1271,12 @@ checks available are @samp{yes} (most common checks
 all), @samp{all} (all but @samp{valgrind}), @samp{release} (cheapest
 checks @samp{assert,runtime}) or @samp{none} (same as @samp{no}).
 Individual checks can be enabled with these flags @samp{assert},
-@samp{fold}, @samp{gc}, @samp{gcac} @samp{misc}, @samp{rtl},
+@samp{df}, @samp{fold}, @samp{gc}, @samp{gcac} @samp{misc}, @samp{rtl},
 @samp{rtlflag}, @samp{runtime}, @samp{tree}, and @samp{valgrind}.
 
 The @samp{valgrind} check requires the external @command{valgrind}
 simulator, available from @uref{http://valgrind.org/}.  The
-@samp{rtl}, @samp{gcac} and @samp{valgrind} checks are very expensive.
+@samp{df}, @samp{rtl}, @samp{gcac} and @samp{valgrind} checks are very expensive.
 To disable all checking, @samp{--disable-checking} or
 @samp{--enable-checking=none} must be explicitly requested.  Disabling
 assertions will make the compiler and runtime slightly faster but