From 71e81924141969a26c5664e2e33c01adbf22a4b3 Mon Sep 17 00:00:00 2001 From: mattijs Date: Wed, 12 Oct 2011 18:06:36 +0100 Subject: [PATCH] BUG: settings.sh: SGIMPI MPI_ROOT test --- etc/config/settings.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/config/settings.sh b/etc/config/settings.sh index 217830b5..e63ce175 100644 --- a/etc/config/settings.sh +++ b/etc/config/settings.sh @@ -512,7 +512,7 @@ SGIMPI) export FOAM_MPI=${MPI_ROOT##*/} export MPI_ARCH_PATH=$MPI_ROOT - if [ -d "$MPI_ROOT" -o -z "$MPI_ARCH_PATH" ] + if [ ! -d "$MPI_ROOT" -o -z "$MPI_ARCH_PATH" ] then echo "Warning in $WM_PROJECT_DIR/etc/config/settings.sh:" 1>&2 echo " MPI_ROOT not a valid mpt installation directory or ending in a '/'." 1>&2