commit 9087927d5ec11c4f7edb517ac7babd402ab4386d
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> Sun May 10 18:17:38 2015 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> Sun May 10 18:17:38 2015 +0000
tree 22a1785ba4958859d714c888e326029f3acca8eb
parent aa19e15b64ddf41485d4e9a87103e09059f990c4

small refinement in the outer/inner doc


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15206 a5019735-40e9-0310-863c-91ae7b9d1cf9

README_DEVELOPERS

diff --git a/README_DEVELOPERS b/README_DEVELOPERS
index 997f495..fdd70b5 100644
--- a/README_DEVELOPERS
+++ b/README_DEVELOPERS
@@ -250,6 +250,7 @@
 
  To compare the performance of multiple Valgrind versions, do :
     perl perf/vg_perf --outer-valgrind=../outer/.../bin/valgrind \
+      --outer-tool=callgrind \
       --vg=../inner_xxxx --vg=../inner_yyyy perf
   (where inner_xxxx and inner_yyyy are the toplevel directories of
   the versions to compare).