Skip to content

Commit

Permalink
Ignore "build" dirs in check_path_lengths. (iree-org#17562)
Browse files Browse the repository at this point in the history
These are produced by `python -m pip wheel compiler/` and are already
ignored by .gitignore.

Progress on iree-org#17430

skip-ci: lint-only change
  • Loading branch information
ScottTodd authored Jun 3, 2024
1 parent f9451d6 commit 3803de5
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions build_tools/scripts/check_path_lengths.py
Original file line number Diff line number Diff line change
Expand Up @@ -67,6 +67,9 @@ def main(args):
# object files or binaries that could trip up the build system.
if not args.include_tests and "test" in dirnames:
dirnames.remove("test")
# Skip build directories (should really anything be covered by .gitignore).
if "build" in dirnames:
dirnames.remove("build")

path = pathlib.Path(dirpath).relative_to(repo_root).as_posix()
if len(path) > args.limit:
Expand Down

0 comments on commit 3803de5

Please sign in to comment.