aboutsummaryrefslogtreecommitdiff
path: root/configure.sh
diff options
context:
space:
mode:
authoreschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-02-22 18:17:52 +0000
committereschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>2013-02-22 18:17:52 +0000
commit85983c7d179cf5731032c30088505c580a12cc4f (patch)
tree1c1159117afee164b3f4bb097952c31f2cd2007c /configure.sh
parent4035150b3286c97362712890a2a89d8284342bb8 (diff)
Update to OpenMPI 1.6.4
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@16 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
Diffstat (limited to 'configure.sh')
-rwxr-xr-xconfigure.sh4
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh
index 8c567c1..166086d 100755
--- a/configure.sh
+++ b/configure.sh
@@ -83,7 +83,7 @@ then
# Set locations
THORN=MPI
- NAME=openmpi-1.6.3
+ NAME=openmpi-1.6.4
SRCDIR=$(dirname $0)
BUILD_DIR=${SCRATCH_BUILD}/build/${THORN}
if [ -z "${MPI_INSTALL_DIR}"]; then
@@ -149,7 +149,6 @@ then
echo "MPI: Unpacking archive..."
pushd ${BUILD_DIR}
${TAR?} xzf ${SRCDIR}/dist/${NAME}.tar.gz
- ${PATCH?} -p0 < ${SRCDIR}/dist/default_outfile.diff
echo "MPI: Configuring..."
cd ${NAME}
@@ -167,7 +166,6 @@ then
date > ${DONE_FILE}
echo "MPI: Done."
-
)
if (( $? )); then