Merge pull request #12273 from maciejbocianski/disable_coverage_filtering

unittests: disable coverage report filtering
pull/12281/head
Martin Kojtal 2020-01-20 07:29:52 +00:00 committed by GitHub
commit b08dc22e27
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions

View File

@ -104,7 +104,6 @@ def _mbed_unittest_test(options, cwd, pwd):
cov_api.generate_reports(outputs=outputs,
excludes=excludes,
filter_regex=options.test_regex,
build_path=options.build)
def _mbed_unittest_new(options, pwd):