summaryrefslogtreecommitdiff
path: root/docs/users_guide/runtime_control.xml
diff options
context:
space:
mode:
authorSimon Marlow <marlowsd@gmail.com>2010-02-26 11:12:05 +0000
committerSimon Marlow <marlowsd@gmail.com>2010-02-26 11:12:05 +0000
commit8008ed2cb38fb61717c03ea01c4531c6089a1de5 (patch)
tree9eeafe5a6fb2d7fbdeba524a912fc46bb6646227 /docs/users_guide/runtime_control.xml
parentcd6bd66faa4cb5ac5ae907bf7e1deab0dda4c5c4 (diff)
downloadhaskell-8008ed2cb38fb61717c03ea01c4531c6089a1de5.tar.gz
update the docs to reflect changes in the tracing flags
Diffstat (limited to 'docs/users_guide/runtime_control.xml')
-rw-r--r--docs/users_guide/runtime_control.xml15
1 files changed, 11 insertions, 4 deletions
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index c482a28a91..9f06ba8fcd 100644
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -850,15 +850,16 @@
<variablelist>
<varlistentry>
<term>
- <option>-l<optional><replaceable>type</replaceable></optional></option>
+ <option>-l<optional><replaceable>flags</replaceable></optional></option>
<indexterm><primary><option>-l</option></primary><secondary>RTS option</secondary></indexterm>
</term>
<listitem>
<para>
Log events in binary format to the
file <filename><replaceable>program</replaceable>.eventlog</filename>,
- where <replaceable>type</replaceable> indicates the type
- of events to log. Currently there is only one type
+ where <replaceable>flags</replaceable> is a sequence of
+ zero or more characters indicating which kinds of events
+ to log. Currently there is only one type
supported: <literal>-ls</literal>, for scheduler events.
</para>
@@ -878,13 +879,19 @@
<varlistentry>
<term>
- <option>-v</option>
+ <option>-v</option><optional><replaceable>flags</replaceable></optional>
<indexterm><primary><option>-v</option></primary><secondary>RTS option</secondary></indexterm>
</term>
<listitem>
<para>
Log events as text to standard output, instead of to
the <literal>.eventlog</literal> file.
+ The <replaceable>flags</replaceable> are the same as
+ for <option>-l</option>, with the additional
+ option <literal>t</literal> which indicates that the
+ each event printed should be preceded by a timestamp value
+ (in the binary <literal>.eventlog</literal> file, all
+ events are automatically associated with a timestamp).
</para>
</listitem>
</varlistentry>