diff options
| author | tradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2002-03-25 13:11:27 +0000 |
|---|---|---|
| committer | tradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2002-03-25 13:11:27 +0000 |
| commit | 524a9e104c33a9c49cd8f9d0b45c1ad3aac191d8 (patch) | |
| tree | 98dd90a256e771e20e33f642f7d8fd458964c311 /lib/make/extras/MPI | |
| parent | cb3b03c3563adb25062e217e4d80774685ce6359 (diff) | |
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
Diffstat (limited to 'lib/make/extras/MPI')
| -rwxr-xr-x | lib/make/extras/MPI/setup.sh | 8 |
1 files changed, 4 insertions, 4 deletions
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. |