+
+ <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>