commit | 00cfcfc962cc3a377cdc7a6e0ec2ea9de4f26e61 | [log] [tgz] |
---|---|---|
author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Nov 12 18:53:50 2005 +0000 |
committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Nov 12 18:53:50 2005 +0000 |
tree | 150b474336fd3a5611420a3c944214f57c103fb4 | |
parent | 628add6061c08b1e93562bd5559e40f6d158bbb6 [diff] |
Don't imply that the --tool option is mandatory. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5100 a5019735-40e9-0310-863c-91ae7b9d1cf9