README_DEVELOPERS: Debugging a tool needs "--tool=..."
Otherwise the function redirections / client requests seem
to get confused. Symptoms are error messages such as
--3031-- VG_USERREQ__CLIENT_CALL1: func=0x0
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12852 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/README_DEVELOPERS b/README_DEVELOPERS
index de8082b..2201fd6 100644
--- a/README_DEVELOPERS
+++ b/README_DEVELOPERS
@@ -111,9 +111,10 @@
(gdb) b vgPlain_do_exec
-(5) Run the tool with required options:
+(5) Run the tool with required options (the --tool option is required
+ for correct setup), e.g.
- (gdb) run pwd
+ (gdb) run --tool=lackey pwd
Steps (1)--(3) can be put in a .gdbinit file, but any directory names must
be fully expanded (ie. not an environment variable).