From d67613bfe3ecdf20a0253f5ccbf744abff24cee9 Mon Sep 17 00:00:00 2001
From: eschnett <eschnett@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>
Date: Wed, 10 Apr 2013 15:13:46 +0000
Subject: 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
---
 configure.sh | 4 +---
 1 file changed, 1 insertion(+), 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"
-- 
cgit v1.2.3