From d0e3848b24fcc058a1c23b3f8236a7b21992ece5 Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@gmail.com>
Date: Mon, 15 Mar 2021 17:25:15 -0500
Subject: [PATCH] codeformat: Exclude specified files even from commandline,
 for pre-commit

---
 tools/codeformat.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/codeformat.py b/tools/codeformat.py
index 389bda8772..eef4682be0 100644
--- 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)