diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-05-15 09:45:50 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-05-15 09:45:50 +0200 |
| commit | 661fd7b9882caba55e3fbc1c95fd4602ebfe580d (patch) | |
| tree | 094c26cb6f6c93af9b833493f427327055c2c364 /docs/linux | |
| parent | d2284dda4086f426af7ba2c595beff6c09204628 (diff) | |
executor: revert protection of kcov region
Turns out it's protection of kcov region that causes coverage drop.
Revert it and re-enable coverage filtering.
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions