diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-16 20:21:47 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-16 20:21:47 +0200 |
| commit | 974ad2210c87b1614584223b525095fc2a63d1b6 (patch) | |
| tree | 9215a7e353b3e5a4c6c49d2a41eb79b36f1f8b1e /executor/executor.h | |
| parent | 8793f74c6cb46d87b53758c6d99705b8018ceeba (diff) | |
syz-manager: check git revision on start
If we have no git revision, we will fail later anyway.
Better to fail earlier.
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions