diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-12-31 13:14:11 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-12-31 13:14:11 +0100 |
| commit | ba1af74335dc22f55852b465317c815e1e3bb6a0 (patch) | |
| tree | a952716baa3162795a79d486d1f3bad1fbaddb68 /executor/executor_linux.h | |
| parent | 70b2a9e855f21689ee5ba5436f729f5950760a72 (diff) | |
Makefile: fix coverage collection condition
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions