Merge pull request #5791 from prplz/dont-freeze-utils

Don't freeze utils directories
This commit is contained in:
Jeff Epler 2021-12-29 07:11:59 -07:00 committed by GitHub
commit cd7e879f30
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -49,7 +49,12 @@ def copy_and_process(in_dir, out_dir):
# Skip library examples directory and subfolders.
relative_path_parts = Path(root).relative_to(in_dir).parts
if relative_path_parts and relative_path_parts[0] in ["examples", "docs", "tests"]:
if relative_path_parts and relative_path_parts[0] in [
"examples",
"docs",
"tests",
"utils",
]:
del subdirs[:]
continue