Use case-dependent variant of fnmatch

diff --git a/Tools/bgen/bgen/scantools.py b/Tools/bgen/bgen/scantools.py
index d6ee88c3f5782f6d7567e7387a75eb24d43a414c..6919ad9e6843c0d6063747abb341bceec6bb1be7 100644 (file)
--- a/Tools/bgen/bgen/scantools.py
+++ b/Tools/bgen/bgen/scantools.py
@@ -315,7 +315,7 @@ class Scanner:
                return arglist
        
        def matcharg(self, patarg, arg):
-               return len(filter(None, map(fnmatch.fnmatch, arg, patarg))) == 3
+               return len(filter(None, map(fnmatch.fnmatchcase, arg, patarg))) == 3
 
        def substituteargs(self, pattern, replacement, old):
                new = []