diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-06 20:52:30 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-06 20:52:30 +0200 |
| commit | a251f3266689855c5edc9189ce47b0c5941f4674 (patch) | |
| tree | 73c19dc9fe052bb028b4c3981e500b52747db901 /executor/executor.h | |
| parent | 0ac1284d5f2b216a961c6c205203bd952c8b0245 (diff) | |
sys/fuchsia: disable zx_task_kill
Disable zx_task_kill until we figure out how to prevent executor from killing fuzzer.
Update #594
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions