| commit | 3fbf17a51881b8550588e504d42325208f98810f | [log] [tgz] |
|---|---|---|
| author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Nov 22 00:39:08 2006 +0000 |
| committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Nov 22 00:39:08 2006 +0000 |
| tree | e03e744f39b4e33489209c56b7f9ccca63e09bf5 | |
| parent | 1319b49115bd0763628273b8a3fe08ac30712e31 [diff] |
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