diff options
| -rwxr-xr-x | configure.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.pl b/configure.pl index 324b979e6..6357c4461 100755 --- a/configure.pl +++ b/configure.pl @@ -903,7 +903,7 @@ sub find_mp_bits { my $seen_mp_module = undef; foreach my $modname (@modules_list) { - die "Unknown module $modname\n" unless defined $MODULES{$modname}; + croak("Unknown module $modname") unless defined $MODULES{$modname}; my %modinfo = %{ $MODULES{$modname} }; if($modinfo{'mp_bits'}) { |