diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-02 08:18:09 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-02 08:40:09 +0100 |
| commit | eff43e99da12c6de1965548a619c3013b8ee791e (patch) | |
| tree | 71b910439289e37b9f4718cdd23860b58fc467bc /executor/executor_linux.h | |
| parent | 2d2eca8c9d942abab8bfb28cd4a068ef1b7e1189 (diff) | |
syz-ci: allow 3-letter manager names
To allow names like "kvm".
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions