diff --git a/scripts/process-text-files.py b/scripts/process-text-files.py index 83fe180..7808516 100644 --- a/scripts/process-text-files.py +++ b/scripts/process-text-files.py @@ -227,7 +227,7 @@ class CmdReplaceCppSymbols(Cmd): if not trunc.lower() in self.file_truncs: continue for patt, repl in self.replacements.iteritems(): - if patt.lower() == trunc.lower(): + if patt == trunc: path = dir + '/' + name new_path = dir + '/' + repl + ext assert(new_path != path)