diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-17 17:50:45 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-17 17:55:52 +0200 |
| commit | 6d5bd5b5eb9c988197c96ebfa3d17ecf5aea6311 (patch) | |
| tree | f64cc13c59727da5c5b1c44318b0f6381c06cda1 /executor/executor.h | |
| parent | 570df9b277c67aa0381f1e0918fa7fca11f625e0 (diff) | |
syz-ci: fix arch passed to build.Clean
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions