From a8573f077994dd86418fb9b1db996200422c9199 Mon Sep 17 00:00:00 2001
From: bmundim <bmundim@043a8217-7a68-40fe-abfd-36aa7d4fa6a8>
Date: Thu, 28 Mar 2013 18:14:19 +0000
Subject: Add NO_BUILD option.

git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@20 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
---
 configure.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/configure.sh b/configure.sh
index c19188e..f5b8453 100755
--- a/configure.sh
+++ b/configure.sh
@@ -29,7 +29,9 @@ fi
 # Search
 ################################################################################
 
-if [ -z "${MPI_DIR}" ]; then
+if [ -z "${MPI_DIR}" \
+     -o "$(echo "${MPI_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] 
+then
     echo "BEGIN MESSAGE"
     echo "MPI selected, but MPI_DIR not set. Checking some places..."
     echo "END MESSAGE"
-- 
cgit v1.2.3