runtests: fixed case insensitive matching of keywords

Commit 5c2aac71 didn't work in the case of mixed-case keywords given on
the command-line.

diff --git a/tests/runtests.pl b/tests/runtests.pl
index 41f92629be4570571c65b724250c4235bb561e11..645db3939c6e241c6761dad866391e642da6404b 100755 (executable)
--- 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;