runtests: match keywords case insensitively

diff --git a/tests/runtests.pl b/tests/runtests.pl
index 065df7c5f6502135b01026b4b5d9bc96e8f8b51d..41f92629be4570571c65b724250c4235bb561e11 100755 (executable)
--- a/tests/runtests.pl
+++ b/tests/runtests.pl
@@ -3585,9 +3585,9 @@ sub singletest {
 
         for $k (@keywords) {
             chomp $k;
-            if ($disabled_keywords{$k}) {
+            if ($disabled_keywords{lc($k)}) {
                 $why = "disabled by keyword";
-            } elsif ($enabled_keywords{$k}) {
+            } elsif ($enabled_keywords{lc($k)}) {
                 $match = 1;
             }
         }
@@ -5382,7 +5382,7 @@ EOHELP
         $disabled_keywords{$1}=$1;
     }
     elsif($ARGV[0] =~ /^([-[{a-zA-Z].*)/) {
-        $enabled_keywords{$1}=$1;
+        $enabled_keywords{lc($1)}=$1;
     }
     else {
         print "Unknown option: $ARGV[0]\n";