diff options
Diffstat (limited to 'tools/preprocess_frozen_modules.py')
| -rwxr-xr-x | tools/preprocess_frozen_modules.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/preprocess_frozen_modules.py b/tools/preprocess_frozen_modules.py index bb6959f0d..e51f96bf9 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: |