From: Bart Van Assche <bvanassche@acm.org>
Date: Sun, 26 Jul 2009 15:58:25 +0000 (+0000)
Subject: Updated manual because of the new client request DRD_STOP_IGNORING_VAR().
X-Git-Tag: svn/VALGRIND_3_5_0~231
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=1512511f11fb60eaa80d3caede3fb5f0bf0f72ed;p=thirdparty%2Fvalgrind.git

Updated manual because of the new client request DRD_STOP_IGNORING_VAR().

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10617
---

diff --git a/drd/docs/drd-manual.xml b/drd/docs/drd-manual.xml
index 6966439b80..8de5556c15 100644
--- a/drd/docs/drd-manual.xml
+++ b/drd/docs/drd-manual.xml
@@ -892,11 +892,12 @@ available macro's and client requests are:
   </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>