diff options
| author | Space Meyer <spm@google.com> | 2022-10-11 11:23:25 +0000 |
|---|---|---|
| committer | Space Meyer <git@the-space.agency> | 2022-10-11 15:43:14 +0200 |
| commit | 1353c374a28b0c3b20e5acf59753aceb934c7fd0 (patch) | |
| tree | 5aab5cd5efe8072783358c5a6e0296144d26940c /executor | |
| parent | 2b253ced7f2f29cbe3de4782c1da91ff9d8a8a8c (diff) | |
make: print warning when make is executed without syz-env
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions