tree 150b474336fd3a5611420a3c944214f57c103fb4
parent 628add6061c08b1e93562bd5559e40f6d158bbb6
author njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1131821630 +0000
committer njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1131821630 +0000

Don't imply that the --tool option is mandatory.


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