From 524a9e104c33a9c49cd8f9d0b45c1ad3aac191d8 Mon Sep 17 00:00:00 2001
From: tradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac>
Date: Mon, 25 Mar 2002 13:11:27 +0000
Subject: Allow setting MPI=none which means to configure without MPI. This
 closes PR Cactus/890.

git-svn-id: http://svn.cactuscode.org/flesh/trunk@2667 17b73243-c579-4c4c-a9d2-2d5706c11dac
---
 lib/make/extras/MPI/setup.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/make/extras')

diff --git a/lib/make/extras/MPI/setup.sh b/lib/make/extras/MPI/setup.sh
index 328c6a5d..cf4bd74f 100755
--- a/lib/make/extras/MPI/setup.sh
+++ b/lib/make/extras/MPI/setup.sh
@@ -9,17 +9,17 @@
 #   @version $Header$
 # @@*/
 
-if test -n "$MPI" ; then
+if test -n "$MPI" -a "$MPI" != 'none' ; then
 
 echo "Configuring with MPI"
 
 # Work out which variation of MPI is installed
 
 if test -r $srcdir/extras/MPI/$MPI ; then
-    . $srcdir/extras/MPI/$MPI
+  . $srcdir/extras/MPI/$MPI
 else
-    echo "MPI selected, but no known MPI method - what is $MPI ?"
-    exit 2
+  echo "MPI selected, but no known MPI method - what is \"$MPI\" ?"
+  exit 2
 fi
 
 # Write the data out to the header and make files.
-- 
cgit v1.2.3