tree 8b72f6ec24f218974a1feb470c94b8f9a006f5a0
parent 7a387ea74af6e887c6fb30092485fb0cf614fb2a
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1195999733 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1195999733 +0000

Misc changes needed to support exp-drd (Bart Van Assche).


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7213 a5019735-40e9-0310-863c-91ae7b9d1cf9