commit | f9b5b7de773bb764b239483c937b4ac2698b31d3 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Tue Jul 26 23:47:00 2005 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Tue Jul 26 23:47:00 2005 +0000 |
tree | 176b92374ad56c89bb53393a24a7a752a94a2c03 | |
parent | 5b742c3b8e4118c7fb60c21bdcbdf45b35324a50 [diff] |
Make VG_(clo_vex_control) tool-visible so tools can control how aggressive Vex is, if they need to do that. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4276 a5019735-40e9-0310-863c-91ae7b9d1cf9