ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add a coverage_patterns kwarg to ARM_MICRO

pull/13089/head
Rob Walton 2020-06-05 15:20:40 +01:00
parent 998d06a80b
commit f8f59fc1ef
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/toolchains/arm.py
View File

@ -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: