commit | 8d91819830ab1c319ca9c11124c3d78613e5c30f | [log] [tgz] |
---|---|---|
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Apr 10 17:29:32 2008 +0000 |
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Apr 10 17:29:32 2008 +0000 |
tree | 96797044ac9c90ec8359211bdc53b9d154944d45 | |
parent | b920b6634d16d303979cc5604ef72f1e608a492a [diff] |
Fixed tool name. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7864 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/exp-drd/docs/README.txt b/exp-drd/docs/README.txt index 240bdef..0ed0098 100644 --- a/exp-drd/docs/README.txt +++ b/exp-drd/docs/README.txt
@@ -225,7 +225,7 @@ 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