diff --git a/tools/preprocess_frozen_modules.py b/tools/preprocess_frozen_modules.py index bb6959f0d8..e51f96bf91 100755 --- a/tools/preprocess_frozen_modules.py +++ b/tools/preprocess_frozen_modules.py @@ -34,6 +34,7 @@ def copy_and_process(in_dir, out_dir): # Skip library examples directories. if Path(root).name in ['examples', 'docs', 'tests']: + del subdirs[:] continue for file in files: