tree 8a65cd90ee1796e0381e1f2d1b9ddd41b0914a36
parent 6ec98e8035c45ae937cf5968770adbcf46622923
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1142029022 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1142029022 +0000

Make sure we get the right headers, not whatever happens to be already
installed.


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