commit | 768cd5d4d39eeafbce60a83ba5c4d194b477bcdc | [log] [tgz] |
---|---|---|
author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Nov 22 00:52:00 2006 +0000 |
committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Nov 22 00:52:00 2006 +0000 |
tree | 4b83ce9d33b0db50f7bf85d686036d8263b06eb2 | |
parent | 3fbf17a51881b8550588e504d42325208f98810f [diff] |
An extension of the previous commit: the vg_perf --tools option is so useful that I got rid of the "tools:" line in the .vg_perf files. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6364 a5019735-40e9-0310-863c-91ae7b9d1cf9