diff options
author | lloyd <[email protected]> | 2008-06-22 05:25:21 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2008-06-22 05:25:21 +0000 |
commit | 4a47b8a8c6c22c44c50f3fc3bcfa425cfbac8e62 (patch) | |
tree | b2ddcadb37562a2b1b66c25186604d047807d513 | |
parent | 7dde81851bfb6cef78c3480acc2f1c1dedb1f126 (diff) |
An unknown module name pass to --module died with a undef hash reference,
which is pretty unfriendly. Die with an error instead.
-rwxr-xr-x | configure.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.pl b/configure.pl index 66ca7f8ca..324b979e6 100755 --- a/configure.pl +++ b/configure.pl @@ -903,6 +903,8 @@ sub find_mp_bits { my $seen_mp_module = undef; foreach my $modname (@modules_list) { + die "Unknown module $modname\n" unless defined $MODULES{$modname}; + my %modinfo = %{ $MODULES{$modname} }; if($modinfo{'mp_bits'}) { if(defined($seen_mp_module) and $modinfo{'mp_bits'} != $mp_bits) { |