diff --git a/etc/settings.csh b/etc/settings.csh index edafa90716f489595feba4a9a617796f0cbbd2b7..495c9324e97ff24347595afb0f203026883d18b7 100644 --- a/etc/settings.csh +++ b/etc/settings.csh @@ -118,8 +118,7 @@ unset MPI_ARCH_PATH switch ("$WM_MPLIB") case OPENMPI: - # set mpi_version=openmpi-1.3.3 - set mpi_version=openmpi-1.3.2 + set mpi_version=openmpi-1.3.3 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 1203a843a05aafc2cd6b6eb121bc41c05cb1443d..6d640d20686b4edc72be5972b3833f70855fe87c 100644 --- a/etc/settings.sh +++ b/etc/settings.sh @@ -142,8 +142,7 @@ unset MPI_ARCH_PATH case "$WM_MPLIB" in OPENMPI) - # mpi_version=openmpi-1.3.3 - mpi_version=openmpi-1.3.2 + mpi_version=openmpi-1.3.3 export MPI_HOME=$WM_THIRD_PARTY_DIR/$mpi_version export MPI_ARCH_PATH=$MPI_HOME/platforms/$WM_OPTIONS