commit | 8c0b3bbdf8b9c08b23041ecd7c684eeb5d40dc44 | [log] [tgz] |
---|---|---|
author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Mar 12 21:20:39 2005 +0000 |
committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Mar 12 21:20:39 2005 +0000 |
tree | 61544cdee3c3a737a669e6dc400993d6d6e4d4dd | |
parent | c88614a0d01dc0da8dab180700a961c667665b36 [diff] |
BUGFIX: process_cmd_line_options mangles options with the syntax --TOOLNAME:option=foo. If you use --trace-children=yes, the child Valgrinds are passed the mangled options and fail as a result. This patch makes sure that process_cmd_line_options makes a copy of the option before mangling it. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3318 a5019735-40e9-0310-863c-91ae7b9d1cf9