tree e03e744f39b4e33489209c56b7f9ccca63e09bf5
parent 1319b49115bd0763628273b8a3fe08ac30712e31
author njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1164155948 +0000
committer njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1164155948 +0000

Add a useful --tools option to vg_perf, which lets you override the "tools"
line in the .vgperf files from the command line.


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