diff options
| author | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-05-14 22:43:49 +0000 |
|---|---|---|
| committer | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-05-14 22:43:49 +0000 |
| commit | 9a1925aea9ddc461fc14291766d6ade4ef601f96 (patch) | |
| tree | 07f4309aa93835d4569cfd61a9d5ce97a6c20f80 /configure.sh | |
| parent | 387dda1dab2b8e9e79ab06c545d2f3387123f7c0 (diff) | |
Install OpenMPI utilities as Cactus utilities, if present
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@31 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
Diffstat (limited to 'configure.sh')
0 files changed, 0 insertions, 0 deletions