diff --git a/tools/toolchains/arm.py b/tools/toolchains/arm.py index f10aaec117..f8f81af3d1 100644 --- a/tools/toolchains/arm.py +++ b/tools/toolchains/arm.py @@ -504,7 +504,8 @@ class ARM_MICRO(ARM): silent=False, extra_verbose=False, build_profile=None, - build_dir=None + build_dir=None, + coverage_patterns=None, ): target.default_toolchain = "uARM" if int(target.build_tools_metadata["version"]) > 0: