codeformat: Exclude specified files even from commandline, for pre-commit

jepler · jepler · commit d0e3848b24fc · 2021-03-15T18:10:43.000-05:00
diff --git a/tools/codeformat.py b/tools/codeformat.py
@@ -142,7 +142,7 @@ def main():
     # Expand the globs passed on the command line, or use the default globs above.
     files = []
     if args.files:
-        files = list_files(args.files)
+        files = list_files(args.files, EXCLUSIONS)
     else:
         files = list_files(PATHS, EXCLUSIONS, TOP)
 
