diff options
| author | Jeff Epler <jepler@gmail.com> | 2021-03-15 17:25:15 -0500 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2021-03-15 18:10:43 -0500 |
| commit | d0e3848b24fcc058a1c23b3f8236a7b21992ece5 (patch) | |
| tree | 69815d7e854d7bc4ecad18639cf5cee60a00cf92 /tools/codeformat.py | |
| parent | cc1dd73e942ed8a5d335391e3bb6dc206576d993 (diff) | |
codeformat: Exclude specified files even from commandline, for pre-commit
Diffstat (limited to 'tools/codeformat.py')
| -rw-r--r-- | tools/codeformat.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/codeformat.py b/tools/codeformat.py index 389bda877..eef4682be 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) |