From 2c34497bd1f7edfbe288a0ddab28ee953d034cea Mon Sep 17 00:00:00 2001 From: Jeff Epler Date: Wed, 3 Sep 2025 14:08:21 -0500 Subject: [PATCH] tools/metrics.py: When cleaning also clean mpy-cross. Changes of interest could be in emitted mpy frozen files. Signed-off-by: Jeff Epler --- tools/metrics.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tools/metrics.py b/tools/metrics.py index 9f2496d35a..361874c252 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")