diff --git a/python/makefile.py b/python/makefile.py index 45f032296f3b..45db841c73ea 100644 --- a/python/makefile.py +++ b/python/makefile.py @@ -52,7 +52,7 @@ "grep", "-l", "-P", - "^#\s*include.*_clippy.c", + r"^#\s*include.*_clippy.c", "--", "**.c", ]