diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-14 18:48:22 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-16 14:21:54 +0200 |
| commit | aa2533b98d21ebcad5777310215159127bfe3573 (patch) | |
| tree | 32ac1bb4b8a616d5192e65a5ee77dc61c717d1fe /executor | |
| parent | 4a4739bd45094cf998187b9ab10636b94d74213c (diff) | |
tools/syz-prog2c: allow to specify target OS
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions