| commit | c6691259d46559b27eceffac31893f02eb6e89c8 | [log] [tgz] |
|---|---|---|
| author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Dec 10 02:26:50 2006 +0000 |
| committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Dec 10 02:26:50 2006 +0000 |
| tree | e1f75f5e9a7b8aea624eac7b8edc639387c8f6df | |
| parent | 1c5bcb1e17532ec1630056fb2e58ef8e15267f15 [diff] |
Fix installation of libmpiwrap.so on the primary platform. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6387 a5019735-40e9-0310-863c-91ae7b9d1cf9