tree 4756042ddac19d2e4be5c82ee17e7f22dcb01a65
parent f9b5b7de773bb764b239483c937b4ac2698b31d3
author tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1122449782 +0000
committer tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1122449782 +0000

Install VEX headers from the configured version not the default version.


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