diff options
Diffstat (limited to 'tools/metrics.py')
| -rwxr-xr-x | tools/metrics.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/metrics.py b/tools/metrics.py index d08a7462a..e603c43de 100755 --- a/tools/metrics.py +++ b/tools/metrics.py @@ -54,6 +54,7 @@ class PortData: self.dir = dir self.output = output self.make_flags = make_flags + self.needs_mpy_cross = dir not in ("bare-arm", "minimal") port_data = { @@ -185,8 +186,9 @@ def do_build(args): ports = parse_port_list(args) - print("BUILDING MPY-CROSS") - syscmd("make", "-C", "mpy-cross", MAKE_FLAGS) + if any(port.needs_mpy_cross for port in ports): + print("BUILDING MPY-CROSS") + syscmd("make", "-C", "mpy-cross", MAKE_FLAGS) print("BUILDING PORTS") for port in ports: |