diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-29T13·13+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-29T13·13+0200 |
commit | c8235c531355d612d48f633f8a6ace5fcd97f5fe (patch) | |
tree | c54d398380ef786e6895b5427774bbd750566b31 /src/nix/progress-bar.hh | |
parent | 05d68a6e23127e490193599f75489006830b302c (diff) |
nix run: Flush the progress bar before starting the command
Diffstat (limited to 'src/nix/progress-bar.hh')
-rw-r--r-- | src/nix/progress-bar.hh | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/nix/progress-bar.hh b/src/nix/progress-bar.hh index d2e44f7c4fd9..af8eda5a84fd 100644 --- a/src/nix/progress-bar.hh +++ b/src/nix/progress-bar.hh @@ -4,12 +4,8 @@ namespace nix { -class StartProgressBar -{ - Logger * prev = 0; -public: - StartProgressBar(); - ~StartProgressBar(); -}; +void startProgressBar(); + +void stopProgressBar(); } |