diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-04-30 13:46:57 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-04-30 13:46:57 +0200 |
| commit | bbb0ead7e82edd3081ebd9243655b851b0ab4779 (patch) | |
| tree | d0888a46810e74d91dc27d385e8c78358be267bb /old-tests/semantics/include/nested/includee5 | |
| parent | 8a82f67e2cb3366ab6988bcb56eb06c1d56fdc5d (diff) | |
Don't print scheduler statistics at verbosity level 2, add --stat instead
Diffstat (limited to 'old-tests/semantics/include/nested/includee5')
0 files changed, 0 insertions, 0 deletions