commit | 6c3a219727dead14309abf431f72ca1f99b8ca37 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Jul 24 07:00:45 2005 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Jul 24 07:00:45 2005 +0000 |
tree | f5906d5fbc8556a201d521b03db685d3272b7482 | |
parent | 305e0cb8ac5fd972df9397d7c4ac137f914251f3 [diff] |
Rename --smc-support= to --smc-check=. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4237 a5019735-40e9-0310-863c-91ae7b9d1cf9