diff --git a/tools/ports/__init__.py b/tools/ports/__init__.py index b2fc12e975a31..50b2c333e476a 100644 --- a/tools/ports/__init__.py +++ b/tools/ports/__init__.py @@ -16,6 +16,8 @@ from tools import utils from tools.settings import settings +from tools.toolchain_profiler import ToolchainProfiler + ports = [] ports_by_name = {} @@ -29,6 +31,7 @@ logger = logging.getLogger('ports') +@ToolchainProfiler.profile() def read_ports(): expected_attrs = ['get', 'clear', 'show', 'needed'] for filename in os.listdir(ports_dir):