commit | 6f97a1ba75dc053c22aa7a52848a7ca12ce71716 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Mar 10 22:17:02 2006 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Mar 10 22:17:02 2006 +0000 |
tree | 8a65cd90ee1796e0381e1f2d1b9ddd41b0914a36 | |
parent | 6ec98e8035c45ae937cf5968770adbcf46622923 [diff] |
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