diff options
author | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2005-07-27 07:36:22 +0000 |
---|---|---|
committer | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2005-07-27 07:36:22 +0000 |
commit | ab568f60a6121c69e1017f3342b8ed782ae55f6b (patch) | |
tree | 4756042ddac19d2e4be5c82ee17e7f22dcb01a65 /nightly | |
parent | f9b5b7de773bb764b239483c937b4ac2698b31d3 (diff) |
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
Diffstat (limited to 'nightly')
0 files changed, 0 insertions, 0 deletions