diff options
Diffstat (limited to 'tester/rt/test.py')
-rw-r--r-- | tester/rt/test.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tester/rt/test.py b/tester/rt/test.py index cc9e9f7..da0a11e 100644 --- a/tester/rt/test.py +++ b/tester/rt/test.py @@ -290,11 +290,13 @@ def run(args, command_path = None): if len(coverage_enabled) == 2: coverage_runner = coverage.coverage_run(opts.defaults, executables, + rtems_tools, symbol_set = coverage_enabled[1], trace = cov_trace) else: coverage_runner = coverage.coverage_run(opts.defaults, executables, + rtems_tools, trace = cov_trace) report_mode = opts.find_arg('--report-mode') if report_mode: |