diff options
| -rw-r--r-- | mpi/config.links | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mpi/config.links b/mpi/config.links index 7a229cb0..183e5bc1 100644 --- a/mpi/config.links +++ b/mpi/config.links @@ -279,7 +279,7 @@ fi # Figure the required modules out mpi_required_modules=$mpi_standard_modules -if test $mpi_extra_modules != ""; then +if test "$mpi_extra_modules" != ""; then for fn in $mpi_extra_modules; do for i in $mpi_optional_modules; do if test "$fn" = "$i" ; then |