tree 7c8306993c741cc56c087f6270d14ae458052c76
parent 9fe3784e1aec08765b15d1986b4c8b699637afce
author Paul Sokolovsky <paul.sokolovsky@linaro.org> 1655247942 -0700
committer Paul Sokolovsky <paul.sokolovsky@linaro.org> 1676332166 +0700

merge.sh: Filter out mbedTLS files from coverage data

mbedTLS source is currently not in shared folder, so genhtml errors out
when producing per-source reports for it. We probably could get source
up there, but coverage reports for such 3rd-party files is probably
not useful in the 1st place, so filter it out instead.

Signed-off-by: Paul Sokolovsky <paul.sokolovsky@linaro.org>