diff --git a/report_coverage_device.sh b/report_coverage_device.sh index ed7731c86343ba4d72edf3c4bada612ddbc4268d..be2612d89ce56d518d992327f93a24853e591a4d 100755 --- a/report_coverage_device.sh +++ b/report_coverage_device.sh @@ -1,3 +1,3 @@ #!/bin/bash -./report_coverage_all.sh | grep -v -E "^(cent|comm|comp|cont|moni|serv|test)" | grep --color -E -i "^device/.*$|$" +./report_coverage_all.sh | grep --color -E -i "^device/.*$|$"