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

Merge pull request #13089 from ARMmbed/rw-add-cov-patterns-uarm 

Add a coverage_patterns kwarg to ARM_MICRO
pull/13095/head
Martin Kojtal 2020-06-10 11:54:48 +02:00 committed by GitHub
parent 878875c884 f8f59fc1ef
commit 1b104b9d0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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, silent=False,
extra_verbose=False, extra_verbose=False,
build_profile=None, build_profile=None,
build_dir=None build_dir=None,
coverage_patterns=None,
): ):
target.default_toolchain = "uARM" target.default_toolchain = "uARM"
if int(target.build_tools_metadata["version"]) > 0: if int(target.build_tools_metadata["version"]) > 0: