build: Simplify coverage configuration
Use -coverage option and keep NDEBUG off
This commit is contained in:
parent
ce4ac17780
commit
1d854cd420
Loading…
Reference in New Issue
Block a user