tools/metrics.py: Don't build mpy-cross if not needed by any ports.
To save build time.
This commit is contained in:
parent
a4423570e2
commit
1cc24cd39a
@ -54,6 +54,7 @@ class PortData:
|
|||||||
self.dir = dir
|
self.dir = dir
|
||||||
self.output = output
|
self.output = output
|
||||||
self.make_flags = make_flags
|
self.make_flags = make_flags
|
||||||
|
self.needs_mpy_cross = dir not in ("bare-arm", "minimal")
|
||||||
|
|
||||||
|
|
||||||
port_data = {
|
port_data = {
|
||||||
@ -185,6 +186,7 @@ def do_build(args):
|
|||||||
|
|
||||||
ports = parse_port_list(args)
|
ports = parse_port_list(args)
|
||||||
|
|
||||||
|
if any(port.needs_mpy_cross for port in ports):
|
||||||
print("BUILDING MPY-CROSS")
|
print("BUILDING MPY-CROSS")
|
||||||
syscmd("make", "-C", "mpy-cross", MAKE_FLAGS)
|
syscmd("make", "-C", "mpy-cross", MAKE_FLAGS)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user