|
From: <sv...@va...> - 2009-07-26 15:58:38
|
Author: bart
Date: 2009-07-26 16:58:25 +0100 (Sun, 26 Jul 2009)
New Revision: 10617
Log:
Updated manual because of the new client request DRD_STOP_IGNORING_VAR().
Modified:
trunk/drd/docs/drd-manual.xml
Modified: trunk/drd/docs/drd-manual.xml
===================================================================
--- trunk/drd/docs/drd-manual.xml 2009-07-26 15:55:48 UTC (rev 10616)
+++ trunk/drd/docs/drd-manual.xml 2009-07-26 15:58:25 UTC (rev 10617)
@@ -892,11 +892,12 @@
</listitem>
<listitem>
<para>
- The client
- request <varname>VG_USERREQ__DRD_FINISH_SUPPRESSION</varname>. Tell DRD
+ The macro <literal>DRD_STOP_IGNORING_VAR(x)</literal> and the
+ corresponding client request
+ <varname>VG_USERREQ__DRD_FINISH_SUPPRESSION</varname>. Tell DRD
to no longer ignore data races for the address range that was suppressed
- via the client request
- <varname>VG_USERREQ__DRD_START_SUPPRESSION</varname>.
+ either via the macro <literal>DRD_IGNORE_VAR(x)</literal> or via the
+ client request <varname>VG_USERREQ__DRD_START_SUPPRESSION</varname>.
</para>
</listitem>
<listitem>
|