diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-06-19 11:32:06 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-06-19 11:56:47 +0200 |
| commit | 03658df6d980f9f5b5dd7c448d77241afacb87f9 (patch) | |
| tree | 315b645f16f0937b6e70b20bbae11180a4007bdd /executor/common.h | |
| parent | 9d10abe406eb17b18ef45d9f14780c47dbefe435 (diff) | |
sys/syz-sysgen: be less verbose if no errors happened
There is little point in printing all targets if no errors happened.
Generation is fast, so this is not even working as a "progress bar".
Only print target if there are any errors.
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions