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")