diff options
| author | simonmar <unknown> | 2006-01-10 09:05:18 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2006-01-10 09:05:18 +0000 |
| commit | e0dc0bc87a534b5a0329d3544c408c5f32d129a4 (patch) | |
| tree | 12014898baa519189475f46b6f562c157a8a4c70 /ghc/docs | |
| parent | 86010e433ff9534809e43b8d2ffcda682d011a28 (diff) | |
| download | haskell-e0dc0bc87a534b5a0329d3544c408c5f32d129a4.tar.gz | |
[project @ 2006-01-10 09:05:18 by simonmar]
add file argument to docs for +RTS -t
Diffstat (limited to 'ghc/docs')
| -rw-r--r-- | ghc/docs/users_guide/runtime_control.xml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ghc/docs/users_guide/runtime_control.xml b/ghc/docs/users_guide/runtime_control.xml index e779ce3ff9..daed07cee3 100644 --- a/ghc/docs/users_guide/runtime_control.xml +++ b/ghc/docs/users_guide/runtime_control.xml @@ -377,13 +377,20 @@ <varlistentry> <term> - <option>-t</option> + <option>-t<replaceable>file</replaceable></option> <indexterm><primary><option>-t</option></primary><secondary>RTS option</secondary></indexterm> </term> <listitem> <para>Write a one-line GC stats summary after running the program. This output is in the same format as that produced by the <option>-Rghc-timing</option> option.</para> + + <para>As with <option>-s</option>, the default + <replaceable>file</replaceable> is + <filename><replaceable>program</replaceable>.stat</filename>. The + <replaceable>file</replaceable> <constant>stderr</constant> + is treated specially, with the output really being sent to + <constant>stderr</constant>.</para> </listitem> </varlistentry> </variablelist> |