diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-14 12:37:13 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-17 11:39:14 +0100 |
| commit | c5826ff7aad66392078e9e24c543be4a2672be0b (patch) | |
| tree | ae3d598f6a866ca45a3f59c58c2ac7c7a70e8211 /executor/executor_linux.h | |
| parent | 8ef00507063baf3fa681bb53113cb33adda5e4d7 (diff) | |
pkg/ipc: make threaded/collide per-program options
Currently threaded/collide are global environment flags.
It can be useful to turn off collider during some executions
(minimization, triage, etc).
Make them per-program options.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions