aboutsummaryrefslogtreecommitdiff
path: root/build/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-04-30 13:46:57 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-04-30 13:46:57 +0200
commitbbb0ead7e82edd3081ebd9243655b851b0ab4779 (patch)
treed0888a46810e74d91dc27d385e8c78358be267bb /build/.gitignore
parent8a82f67e2cb3366ab6988bcb56eb06c1d56fdc5d (diff)
Don't print scheduler statistics at verbosity level 2, add --stat instead
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions