diff options
Diffstat (limited to 'configure.pl')
-rwxr-xr-x | configure.pl | 5 |
1 files changed, 3 insertions, 2 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'}; |