diff options
| -rwxr-xr-x | configure.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.pl b/configure.pl index b35349304..dc67adca3 100755 --- a/configure.pl +++ b/configure.pl @@ -530,7 +530,9 @@ sub get_options { foreach my $mod (split(/,/, $mods)) { # -1 means disabled by user, do not load - $$config{'modules'}{$mod} = 1 unless($$config{'modules'}{$mod} == -1); + $$config{'modules'}{$mod} = 1 unless( + defined($$config{'modules'}{$mod}) && + $$config{'modules'}{$mod} == -1); } } |