diff options
| -rwxr-xr-x | tools/tools/genericize/genericize.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/tools/genericize/genericize.pl b/tools/tools/genericize/genericize.pl index 5c8f025..c9446bb 100755 --- a/tools/tools/genericize/genericize.pl +++ b/tools/tools/genericize/genericize.pl @@ -87,6 +87,7 @@ MAIN:{ } elsif ($keyword eq 'ident') { $line =~ s/$value/$ident/; } elsif ($keyword eq 'options' && $value =~ m/(\w+)=(.+)/ && + defined($config{$keyword}->{$1}) && $config{$keyword}->{$1} != \&EMPTY) { $value = $1; if ($config{$keyword}->{$value} ne $2) { |
