commit | ab568f60a6121c69e1017f3342b8ed782ae55f6b | [log] [tgz] |
---|---|---|
author | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Jul 27 07:36:22 2005 +0000 |
committer | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Jul 27 07:36:22 2005 +0000 |
tree | 4756042ddac19d2e4be5c82ee17e7f22dcb01a65 | |
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