tree 176b92374ad56c89bb53393a24a7a752a94a2c03
parent 5b742c3b8e4118c7fb60c21bdcbdf45b35324a50
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1122421620 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1122421620 +0000

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