https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87442
calixte <cdenizet at mozilla dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mcastelluccio at mozilla dot
com,
| |sylvestre at debian dot org
--- Comment #2 from calixte <cdenizet at mozilla dot com> ---
About the name of the options -coverage-exclude & -coverage-filter, I took my
inspiration from the gcovr (-gcov-exclude & -gcov-filter):
https://manpages.debian.org/jessie/gcovr/gcovr.1.en.html
@martin, are you ok with that or do you have other ideas ?
