diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-12 15:20:51 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-13 12:52:09 +0100 |
| commit | 1623c95de18e7743bc514fae929d37ece749bdf4 (patch) | |
| tree | 5a726778367d11d70596c357b2f506ac6c83b3df /executor/executor_bsd.cc | |
| parent | 125dadd3c967f34615d7ac0e54a2e0a0aff7f92c (diff) | |
sys/syz-extract: don't run mrproper if already clean
mrproper takes unreasonable amount of time.
Diffstat (limited to 'executor/executor_bsd.cc')
0 files changed, 0 insertions, 0 deletions