diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-06-11 15:45:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-11 15:45:18 +0200 |
| commit | ac4d43a31bb32c1205b44d69e87606b7f54922a1 (patch) | |
| tree | 692e5202bb25b33292000d6f6eb81a78a503ce74 /src/nix-env/nix-env.cc | |
| parent | b9ae1bdd7a1ed8eee25fc37c97d74c1d6771778d (diff) | |
| parent | dd9bb11d0d38139bb32411170403171c4c92f8cf (diff) | |
Merge pull request #3073 from tweag/machine-logs
Add an option to print the logs in a machine-readable format
Diffstat (limited to 'src/nix-env/nix-env.cc')
| -rw-r--r-- | src/nix-env/nix-env.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nix-env/nix-env.cc b/src/nix-env/nix-env.cc index d62febaff..f7b04eb2b 100644 --- a/src/nix-env/nix-env.cc +++ b/src/nix-env/nix-env.cc @@ -1446,6 +1446,8 @@ static int _main(int argc, char * * argv) globals.state->printStats(); + logger->stop(); + return 0; } } |