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 /build2/b.cli | |
parent | 8a82f67e2cb3366ab6988bcb56eb06c1d56fdc5d (diff) |
Don't print scheduler statistics at verbosity level 2, add --stat instead
Diffstat (limited to 'build2/b.cli')
-rw-r--r-- | build2/b.cli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build2/b.cli b/build2/b.cli index d054d05..6f5d26d 100644 --- a/build2/b.cli +++ b/build2/b.cli @@ -441,6 +441,11 @@ namespace build2 \li|Even more detailed information, including state dumps.||" } + bool --stat + { + "Display build statistics." + } + size_t --jobs|-j { "<num>", |