diff options
| author | Jeff Epler <jepler@gmail.com> | 2019-12-17 10:01:33 -0600 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2019-12-17 10:01:33 -0600 |
| commit | 1719a14cf07866f3c86a4daac7f09124004d7eb9 (patch) | |
| tree | 415b5e9942e043a4959abaff5beb238c48573dc4 | |
| parent | dbab5380b22289d44429f8a8ad3daabe7ec1fa45 (diff) | |
preprocess_frozen_modules: exclude subdirs of examples, docs, tests
.. this reclaims several kB on CPX, where we really need it.
| -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: |