diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-01 14:05:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-01 14:05:57 +0200 |
| commit | 254ed7f9f31a069fd38e45e3163819c127d808f5 (patch) | |
| tree | 976466d2ca1094dfba02cfa8b4dc56912e29eb52 | |
| parent | 475a0a54a9c28c311f0c05d129bb165e7c215efb (diff) | |
| parent | 87702532d2aa24394493ccd12e77811cc2d0893c (diff) | |
Merge pull request #2391 from grahamc/more-stats
Print stats in more programs
| -rwxr-xr-x | src/nix-build/nix-build.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nix-build/nix-build.cc b/src/nix-build/nix-build.cc index 21a0756a2..94d3a2756 100755 --- a/src/nix-build/nix-build.cc +++ b/src/nix-build/nix-build.cc @@ -305,6 +305,8 @@ void mainWrapped(int argc, char * * argv) } } + state->printStats(); + auto buildPaths = [&](const PathSet & paths) { /* Note: we do this even when !printMissing to efficiently fetch binary cache data. */ |