<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>
<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>
</term>
<listitem>
<para>Produce “ticky-ticky” statistics at the
- end of the program run. The <replaceable>file</replaceable>
- business works just like on the <option>-S</option> RTS
- option (above).</para>
-
- <para>“Ticky-ticky” statistics are counts of
- various program actions (updates, enters, etc.) The program
- must have been compiled using
- <option>-ticky</option><indexterm><primary><option>-ticky</option></primary></indexterm>
- (a.k.a. “ticky-ticky profiling”), and, for it to
- be really useful, linked with suitable system libraries.
- Not a trivial undertaking: consult the installation guide on
- how to set things up for easy “ticky-ticky”
- profiling. For more information, see <xref
- linkend="ticky-ticky"/>.</para>
+ end of the program run (only available if the program was
+ linked with <option>-debug</option>).
+ The <replaceable>file</replaceable> business works just like
+ on the <option>-S</option> RTS option, above.</para>
+
+ <para>For more information on ticky-ticky profiling, see
+ <xref linkend="ticky-ticky"/>.</para>
</listitem>
</varlistentry>