From 3803de50d93eac83328005962fe441c2d610bb2e Mon Sep 17 00:00:00 2001 From: Scott Todd Date: Mon, 3 Jun 2024 16:46:04 -0700 Subject: [PATCH] Ignore "build" dirs in check_path_lengths. (#17562) These are produced by `python -m pip wheel compiler/` and are already ignored by .gitignore. Progress on https://github.com/iree-org/iree/issues/17430 skip-ci: lint-only change --- build_tools/scripts/check_path_lengths.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/build_tools/scripts/check_path_lengths.py b/build_tools/scripts/check_path_lengths.py index 42d95c2317a7..1837cc919e48 100755 --- a/build_tools/scripts/check_path_lengths.py +++ b/build_tools/scripts/check_path_lengths.py @@ -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: