diff options
Diffstat (limited to 'configure.sh')
| -rw-r--r-- | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index b2eff4a..c2398a6 100644 --- a/configure.sh +++ b/configure.sh @@ -71,7 +71,7 @@ if [ -z "${OPENMPI_DIR}" -o "${OPENMPI_DIR}" = 'BUILD' ]; then # Set locations THORN=OpenMPI - NAME=openmpi-1.5.3 + NAME=openmpi-1.5.4 SRCDIR=$(dirname $0) BUILD_DIR=${SCRATCH_BUILD}/build/${THORN} if [ -z "${OPENMPI_INSTALL_DIR}"]; then |