diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-12-23 13:39:14 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-12-23 13:39:14 +0100 |
| commit | 6af1c1f308f2206ecb3372491d90ae3c16c56c82 (patch) | |
| tree | c3d919e3475ac4c571c7661165ebf1eec9fea554 /executor | |
| parent | e253cbc79fc20b65ce9dd965c6fe3adddac817ca (diff) | |
execprog: replace loop flag with repeat
This will be necessary for reproduction tool.
It needs to run a program a fixed number of times
instead of loop infinitely.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions