[RTEMS Project] #3442: merge test_run and coverage_run into a single command in coverage script

[RTEMS trac]

#3442: merge test_run and coverage_run into a single command in coverage script
-------------------------+------------------------
  Reporter:  thelunatic  |      Owner:  (none)
      Type:  task        |     Status:  new
  Priority:  normal      |  Milestone:  Indefinite
 Component:  admin       |    Version:
  Severity:  normal      |   Keywords:  coverage
Blocked By:              |   Blocking:
-------------------------+------------------------
 The objectives of this ticket are TBD

--
Ticket URL: <http://devel.rtems.org/ticket/3442>
RTEMS Project <http://www.rtems.org/>
RTEMS Project