| commit | 1274d246fb097e674cce697407d045e47aa06c6f | [log] [tgz] |
|---|---|---|
| author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Mar 26 23:38:42 2007 +0000 |
| committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Mar 26 23:38:42 2007 +0000 |
| tree | 7cc3171ff78bb72ca53f873d204e0ba5bf1f12b7 | |
| parent | 2ebdb5732f29f0531a49a8b06edf2786281aad8c [diff] |
Fix bug 142197: don't free --toolname:foo options after they've been munged, because tools should be able to assume that they are never freed, just like other options. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6668 a5019735-40e9-0310-863c-91ae7b9d1cf9