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 /Makefile | |
| 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 'Makefile')
0 files changed, 0 insertions, 0 deletions