diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2019-01-28 16:46:38 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-28 16:49:31 +0100 |
| commit | bd378861722b24889ffbf95f8ec877fe5f239906 (patch) | |
| tree | 049a809fc8640e8bedf2c569517f07e567547fbc /sys/linux | |
| parent | 629c2a2773c8b903343ce9e81405461efaca0660 (diff) | |
executor: fix remote coverage area size
It should be in number of words not in bytes.
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions