diff options
Diffstat (limited to 'tools/lint/cpp/mingw-capitalization.py')
| -rw-r--r-- | tools/lint/cpp/mingw-capitalization.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint/cpp/mingw-capitalization.py b/tools/lint/cpp/mingw-capitalization.py index b5a4b07c6a..04980494a9 100644 --- a/tools/lint/cpp/mingw-capitalization.py +++ b/tools/lint/cpp/mingw-capitalization.py @@ -18,7 +18,7 @@ class MinGWCapitalization(LineType): super(MinGWCapitalization, self).__init__(*args, **kwargs) with open(HEADERS_FILE, "r") as fh: self.headers = fh.read().strip().splitlines() - self.regex = re.compile("^#include\s*<(" + "|".join(self.headers) + ")>") + self.regex = re.compile(r"^#include\s*<(" + "|".join(self.headers) + ")>") def condition(self, payload, line, config): if not line.startswith("#include"): |