summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
86010e4)
add file argument to docs for +RTS -t
+ <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>
<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>
</listitem>
</varlistentry>
</variablelist>