diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-10-14 10:54:04 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-10-14 10:54:04 +0200 |
| commit | 38493312da49f7b5b2d6d2c27f0841c3f0a50302 (patch) | |
| tree | e9a69965fea3b6d67a7aaabf3d42c0c9c1e2704f /tools/execprog/execprog.go | |
| parent | 78514887ec6bf02a2a8d135a85a7c18d384d73bb (diff) | |
allow to specify parallelism level in tools/execlog
Diffstat (limited to 'tools/execprog/execprog.go')
0 files changed, 0 insertions, 0 deletions