diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-13 12:13:54 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-13 12:13:54 +0200 |
| commit | 19e9088bb7b82fd5d7ece380a9495456350e3876 (patch) | |
| tree | bdc4880bc531ab549f4ebb4bc2273ca90e5ef005 /executor | |
| parent | 61ed43a86a3721708aeeee72b23bfa1eacd921b2 (diff) | |
syz-ci: use gmake instead of make on openbsd
Update #712
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions