diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-04 13:53:57 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-04 13:56:12 +0100 |
| commit | b20883285d2350f5694399287b7f03478a3036c6 (patch) | |
| tree | 3bd0f2665e2088718320e14f11d7df03adcd9682 /executor/syscalls.h | |
| parent | 69872e89529c8cd04954f2a25512e21fa7680bf7 (diff) | |
syz-ci: add Manager.Disabled config parameter
Useful for temporary disabling a manager for any reason
without completely deleting it from the config.
Diffstat (limited to 'executor/syscalls.h')
0 files changed, 0 insertions, 0 deletions