diff options
author | bmundim <bmundim@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-03-28 18:14:19 +0000 |
---|---|---|
committer | bmundim <bmundim@043a8217-7a68-40fe-abfd-36aa7d4fa6a8> | 2013-03-28 18:14:19 +0000 |
commit | a8573f077994dd86418fb9b1db996200422c9199 (patch) | |
tree | 6406f9dd58bca9eee414edf3601640938f2f23d5 | |
parent | 5d11a75aa57641de0e5927cd12b17e230644f2d0 (diff) |
Add NO_BUILD option.
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/MPI/trunk@20 043a8217-7a68-40fe-abfd-36aa7d4fa6a8
-rwxr-xr-x | configure.sh | 4 |
1 files changed, 3 insertions, 1 deletions
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" |