diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-10-24T13·05+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-10-24T13·32+0200 |
commit | 3460e4cf007017e89096b4fad083692666b87a20 (patch) | |
tree | f095fe9ebbcd1b46ad022fb5b30179f7de3c2dd0 /mk/tracing.mk | |
parent | 96051dd057d46d5953b2fbe3de67269d175306dc (diff) |
More progress indicator improvements
In particular, don't show superfluous "fetching path" and "building path(s)" messages, and show the current round (with --repeat).
Diffstat (limited to 'mk/tracing.mk')
0 files changed, 0 insertions, 0 deletions