commit | 0c384bcdd5db95a80fb354b8da7059f920878418 | [log] [tgz] |
---|---|---|
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Jul 29 15:19:50 2010 +0000 |
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Jul 29 15:19:50 2010 +0000 |
tree | 01895e84fbf5cb47d19f2968d25ddd6c1d71dc72 | |
parent | 9790f39ef1a81538e06cc2139d30a2fa60673ea5 [diff] |
Made gmp, mpfr and mpc prefixes configurable. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11240 a5019735-40e9-0310-863c-91ae7b9d1cf9