diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-06 12:54:09 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-09 09:22:14 +0100 |
| commit | 716124b06a7c7d1e482f90d16f88db80dab0964b (patch) | |
| tree | c0fa701a21d9201e5433383c130b035417e0576d /executor/executor_akaros.h | |
| parent | 99917735b6a974a09d3833c34b3d4a8b8198522d (diff) | |
executor: minor coverage filter cleanup
Slightly reduce number of ifdef's, define coverage_filter only
in shmem mode and remove unnecessary cast.
Diffstat (limited to 'executor/executor_akaros.h')
0 files changed, 0 insertions, 0 deletions