From a746d11b6f1be635efdd35eb86170ca50143c375 Mon Sep 17 00:00:00 2001
From: AnimeGitB <AnimeGitB@bigblueball.in>
Date: Sun, 21 Aug 2022 21:02:44 +0930
Subject: [PATCH] Don't lint src/generated
---
format_whitespace.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/format_whitespace.py b/format_whitespace.py
index 2221da71..12ffdf01 100644
--- a/format_whitespace.py
+++ b/format_whitespace.py
@@ -53,7 +53,7 @@ def format_file(filename: str) -> bool:
def main():
- filelist = [f for f in get_changed_filelist() if f.endswith('.java')]
+ filelist = [f for f in get_changed_filelist() if f.endswith('.java') and not f.startswith('src/generated')]
replaced = 0
not_found = 0
if not filelist:
--
GitLab