tree 3962e0670748f9aa231d784328f89cedbdd8f3a1
parent 2b308d1b493c1fa09c7fe838c2c9275916a245b6
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1377799167 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1377799167 +0000

Add missing headers and such so that 'make dist' works again.


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