diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-14 18:24:27 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-16 14:21:54 +0200 |
| commit | 9444f97045cd7c64517f4dbbee316c2e85925054 (patch) | |
| tree | 21a6e2c21c87057b81683a588291d8b6adceaea9 /executor | |
| parent | 419e3a859c0e84369b87dfffc174032f5d1b944a (diff) | |
tools/syz-stress: allow to specify target OS
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions