From 10798d696f628d335c601dc3a56bcf89efba93f2 Mon Sep 17 00:00:00 2001
From: Mark Olesen <Mark.Olesen@Germany>
Date: Wed, 2 Dec 2009 09:29:25 +0100
Subject: [PATCH] upgrade to openmpi-1.3.4
---
etc/settings.csh | 2 +-
etc/settings.sh | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/etc/settings.csh b/etc/settings.csh
index d970f039423..a2a9c37b070 100644
--- a/etc/settings.csh
+++ b/etc/settings.csh
@@ -132,7 +132,7 @@ unset MPI_ARCH_PATH
switch ("$WM_MPLIB")
case OPENMPI:
- set mpi_version=openmpi-1.3.3
+ set mpi_version=openmpi-1.3.4
setenv MPI_HOME $WM_THIRD_PARTY_DIR/$mpi_version
setenv MPI_ARCH_PATH $MPI_HOME/platforms/$WM_OPTIONS
diff --git a/etc/settings.sh b/etc/settings.sh
index 02b3172307f..5dc56ac0188 100644
--- a/etc/settings.sh
+++ b/etc/settings.sh
@@ -163,7 +163,7 @@ unset MPI_ARCH_PATH
case "$WM_MPLIB" in
OPENMPI)
- mpi_version=openmpi-1.3.3
+ mpi_version=openmpi-1.3.4
export MPI_HOME=$WM_THIRD_PARTY_DIR/$mpi_version
export MPI_ARCH_PATH=$MPI_HOME/platforms/$WM_OPTIONS
--
GitLab