diff options
author | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-04-10 15:13:46 +0000 |
---|---|---|
committer | eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-04-10 15:13:46 +0000 |
commit | d67613bfe3ecdf20a0253f5ccbf744abff24cee9 (patch) | |
tree | da9dcc2c5deea662946889360307b4eac7ca052d | |
parent | 91ea4e2fb43ad6f833a20ddeeb18b2166281d7c2 (diff) |
Do not search for existing library when NO_BUILD is given
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@25 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-x | configure.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh index 107e7f3..2927992 100755 --- a/configure.sh +++ b/configure.sh @@ -29,9 +29,7 @@ fi # Search ################################################################################ -if [ -z "${MPI_DIR}" \ - -o "$(echo "${MPI_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] -then +if [ -z "${MPI_DIR}" ]; then echo "BEGIN MESSAGE" echo "MPI selected, but MPI_DIR not set. Checking some places..." echo "END MESSAGE" |