diff options
| -rw-r--r-- | ghc/docs/users_guide/flags.xml | 7 | ||||
| -rw-r--r-- | ghc/docs/users_guide/using.xml | 13 |
2 files changed, 19 insertions, 1 deletions
diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml index 8406184fa6..0dde52e317 100644 --- a/ghc/docs/users_guide/flags.xml +++ b/ghc/docs/users_guide/flags.xml @@ -77,6 +77,12 @@ <entry>static</entry> <entry>-</entry> </row> + <row> + <entry><option>-Rghc-timing</option></entry> + <entry>Summarise timing stats for GHC (same as <literal>+RTS -tstderr</literal>)</entry> + <entry>static</entry> + <entry>-</entry> + </row> </tbody> </tgroup> </informaltable> @@ -1876,7 +1882,6 @@ Still to document: Misc: , ( "H" , HasArg (setHeapSize . fromIntegral . decodeSize) ) - , ( "Rghc-timing" , NoArg (enableTimingStats) ) -Bdir --> diff --git a/ghc/docs/users_guide/using.xml b/ghc/docs/users_guide/using.xml index 761d6cff6a..32c194a308 100644 --- a/ghc/docs/users_guide/using.xml +++ b/ghc/docs/users_guide/using.xml @@ -746,6 +746,19 @@ ghc -c Foo.hs</screen> it).</para> </listitem> </varlistentry> + + <varlistentry> + <term><option>-Rghc-timing</option> + <indexterm><primary><option>-Rghc-timing</option></primary></indexterm> + </term> + <listitem> + <para>Prints a one-line summary of timing statistics for the + GHC run. This option is equivalent to + <literal>+RTS -tstderr</literal>, see <xref + linkend="rts-options-gc" />. + </para> + </listitem> + </varlistentry> </variablelist> </sect1> |