diff options
| -rwxr-xr-x | tests/runtests.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 41f92629b..645db3939 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -5379,7 +5379,7 @@ EOHELP $disabled{$1}=$1; } elsif($ARGV[0] =~ /^!(.+)/) { - $disabled_keywords{$1}=$1; + $disabled_keywords{lc($1)}=$1; } elsif($ARGV[0] =~ /^([-[{a-zA-Z].*)/) { $enabled_keywords{lc($1)}=$1; |