diff options
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 4 |
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 |