diff options
| author | simonmar <unknown> | 2006-01-06 11:04:07 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2006-01-06 11:04:07 +0000 |
| commit | 2a2efb720c0fdc06fe749f96f284b00b30f8f3f7 (patch) | |
| tree | 33d9640df14675c6f3ad8c29af756d0be33b0c8e /ghc | |
| parent | dd45134bcb376a8bbc982370b95b3dbeaa8dc58a (diff) | |
| download | haskell-2a2efb720c0fdc06fe749f96f284b00b30f8f3f7.tar.gz | |
[project @ 2006-01-06 11:04:07 by simonmar]
Document -Rghc-timing
Diffstat (limited to 'ghc')
| -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> |