diff options
| author | Hans Kristian Rosbach <hk-git@circlestorm.org> | 2020-02-08 16:23:13 +0100 |
|---|---|---|
| committer | Hans Kristian Rosbach <hk-github@circlestorm.org> | 2020-03-09 14:13:36 +0100 |
| commit | fbf3128cd672c27cbfd0e82b8ee55a12bcb729a6 (patch) | |
| tree | 0de78f66aab8cbd23a70c59f82e651c3728b8438 /tools | |
| parent | 1e14f24edee70c6a6718d81e65eb19738622edde (diff) | |
| download | Project-Tick-fbf3128cd672c27cbfd0e82b8ee55a12bcb729a6.tar.gz Project-Tick-fbf3128cd672c27cbfd0e82b8ee55a12bcb729a6.zip | |
Don't enable debug when building with code coverage.
Don't disable optimization when building with code coverage.
Make sure GCC links with gcov, like the docs says you should.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions