diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-09-03 14:08:21 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-10-08 15:08:46 +1100 |
| commit | 2c34497bd1f7edfbe288a0ddab28ee953d034cea (patch) | |
| tree | 89bb90f7acbc7e7dd387f78ef320f1577f200247 /tools/metrics.py | |
| parent | 449866cb0af3fc547df6538a6552517cc8974616 (diff) | |
tools/metrics.py: When cleaning also clean mpy-cross.
Changes of interest could be in emitted mpy frozen files.
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'tools/metrics.py')
| -rwxr-xr-x | tools/metrics.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/metrics.py b/tools/metrics.py index 9f2496d35..361874c25 100755 --- a/tools/metrics.py +++ b/tools/metrics.py @@ -185,6 +185,10 @@ def do_clean(args): ports = parse_port_list(args) print("CLEANING") + + if any(port.needs_mpy_cross for port in ports): + syscmd("make", "-C", "mpy-cross", "clean") + for port in ports: syscmd("make", "-C", "ports/{}".format(port.dir), port.make_flags, "clean") |