mirror of https://github.com/ARMmbed/mbed-os.git
unittest: fix coverage filtering
change coverage filter pattern from ^pattern* to *pattern*pull/12263/head
parent
455b846bc1
commit
2768300ada
|
@ -83,7 +83,7 @@ class CoverageAPI(object):
|
|||
filters = filter_regex.split(",")
|
||||
|
||||
for filt in filters:
|
||||
regex = "(.+/)?%s" % filt.replace("-", "/")
|
||||
regex = "(.+/)?.*%s" % filt.replace("-", "/")
|
||||
args.extend(["-f", regex])
|
||||
|
||||
if logging.getLogger().getEffectiveLevel() == logging.DEBUG:
|
||||
|
|
Loading…
Reference in New Issue