Add a coverage_patterns kwarg to ARM_MICRO

2020-06-05 15:20:40 +01:00 · 2020-06-05 15:20:40 +01:00 · 4e9fcd735e
parent d0f7c21ff4
commit 4e9fcd735e
1 changed files with 2 additions and 1 deletions
--- 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: