sanitycheck: Fix --enable-coverage option

This commit fixes the issue, that --enable-coverage alone did not create
coverage information. It also required to give --coverage-platform.
Now the fallback for coverage-platform to platform works as documented
also for enable-coverage, not only for coverage option.

Signed-off-by: Christian Taedcke <hacking@taedcke.com>
This commit is contained in:
Christian Taedcke 2019-11-23 23:25:36 +01:00 committed by Anas Nashif
commit c415a4ef2d

View file

@ -3690,8 +3690,9 @@ def main():
if options.coverage:
options.enable_coverage = True
options.enable_slow = True
if not options.coverage_platform:
options.coverage_platform = options.platform
if not options.coverage_platform:
options.coverage_platform = options.platform
if options.size:
for fn in options.size: