|
From: <sv...@va...> - 2008-04-10 17:29:56
|
Author: bart Date: 2008-04-10 18:29:32 +0100 (Thu, 10 Apr 2008) New Revision: 7864 Log: Fixed tool name. Modified: trunk/exp-drd/docs/README.txt Modified: trunk/exp-drd/docs/README.txt =================================================================== --- trunk/exp-drd/docs/README.txt 2008-04-09 17:44:28 UTC (rev 7863) +++ trunk/exp-drd/docs/README.txt 2008-04-10 17:29:32 UTC (rev 7864) @@ -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 |