]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Fix bug 142197: don't free --toolname:foo options after they've been munged,
authorNicholas Nethercote <njn@valgrind.org>
Mon, 26 Mar 2007 23:38:42 +0000 (23:38 +0000)
committerNicholas Nethercote <njn@valgrind.org>
Mon, 26 Mar 2007 23:38:42 +0000 (23:38 +0000)
commitab3351f6a982f2699195f85eeae4ebbb883e1186
tree7cc3171ff78bb72ca53f873d204e0ba5bf1f12b7
parentb47fe70df10b591494a22bd7db42fd7bfca2ef75
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
coregrind/m_main.c