diff options
author | lloyd <[email protected]> | 2006-08-20 14:44:27 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2006-08-20 14:44:27 +0000 |
commit | 35900450887c75ae84008f58cbc48fb81bd52bc7 (patch) | |
tree | 2dc32a9cdd1ade169a87eb43d935b906a64e1843 | |
parent | 70db176e715f4fc143ccd1ff75984fdf7c0845cd (diff) |
Only error out when multiple modules declaring mp_bits are found _and_
the values they declare are unequal.
-rwxr-xr-x | configure.pl | 5 | ||||
-rw-r--r-- | misc/config/code/misc.pl | 5 |
2 files changed, 6 insertions, 4 deletions
diff --git a/configure.pl b/configure.pl index 18311fc2e..7d2ed2156 100755 --- a/configure.pl +++ b/configure.pl @@ -1204,13 +1204,14 @@ sub find_mp_bits my(@modules_list) = @_; my $mp_bits = 32; # default, good for most systems my $seen_mp_module = 0; + foreach my $modname (@modules_list) { my %modinfo = %{ $MODULES{$modname} }; if($modinfo{'mp_bits'}) { - die "(error): More than one MPI module was loaded\n" - if($seen_mp_module); + die "(error): Inconsistent mp_bits requests from modules\n" + if($seen_mp_module && $modinfo{'mp_bits'} != $mp_bits); $seen_mp_module = 1; $mp_bits = $modinfo{'mp_bits'}; diff --git a/misc/config/code/misc.pl b/misc/config/code/misc.pl index 0d95564b7..63fc4cccf 100644 --- a/misc/config/code/misc.pl +++ b/misc/config/code/misc.pl @@ -165,13 +165,14 @@ sub find_mp_bits my(@modules_list) = @_; my $mp_bits = 32; # default, good for most systems my $seen_mp_module = 0; + foreach my $modname (@modules_list) { my %modinfo = %{ $MODULES{$modname} }; if($modinfo{'mp_bits'}) { - die "(error): More than one MPI module was loaded\n" - if($seen_mp_module); + die "(error): Inconsistent mp_bits requests from modules\n" + if($seen_mp_module && $modinfo{'mp_bits'} != $mp_bits); $seen_mp_module = 1; $mp_bits = $modinfo{'mp_bits'}; |