]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Fixed tool name.
authorBart Van Assche <bvanassche@acm.org>
Thu, 10 Apr 2008 17:29:32 +0000 (17:29 +0000)
committerBart Van Assche <bvanassche@acm.org>
Thu, 10 Apr 2008 17:29:32 +0000 (17:29 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7864

exp-drd/docs/README.txt

index 240bdefbe123936ab305f41a4dcac5b74ee0322c..0ed0098769836acd15d50bcc1972a6242defc60a 100644 (file)
@@ -225,7 +225,7 @@ more information.
 How to use DRD
 --------------
 
-To use this tool, specify --tool=drd on the Valgrind command line.
+To use this tool, specify --tool=exp-drd on the Valgrind command line.
 
 
 Interpreting DRD's data race reports