commit | 0ad4609920e32103f0576b26d2c9f7dc4e8b7529 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Mar 02 17:09:16 2006 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Mar 02 17:09:16 2006 +0000 |
tree | f8852634cea8a54b1f9e96a03a712581cb1b85b3 | |
parent | 80637751e7c438c7ed679ac2094c6c205882f0ce [diff] |
Detect/select 'mpicc' (from --with-mpicc=) and use that to build libmpiwrap.so. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5708 a5019735-40e9-0310-863c-91ae7b9d1cf9