diff options
author | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-02-25 18:29:43 +0000 |
---|---|---|
committer | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-02-25 18:29:43 +0000 |
commit | 1b3c16cef7d82d652c02e443198bf2f3d367a996 (patch) | |
tree | cd5df5e342d647fb00597468ee42e1b0aa4f8771 /configure.sh | |
parent | 85983c7d179cf5731032c30088505c580a12cc4f (diff) |
Correct string concatenation
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@17 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index 166086d..25d177d 100755 --- a/configure.sh +++ b/configure.sh @@ -149,6 +149,7 @@ then echo "MPI: Unpacking archive..." pushd ${BUILD_DIR} ${TAR?} xzf ${SRCDIR}/dist/${NAME}.tar.gz + ${PATCH?} -p0 < ${SRCDIR}/dist/default_outfile.patch echo "MPI: Configuring..." cd ${NAME} |