diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-03-19 17:56:39 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2021-03-19 17:56:39 +0100 |
| commit | 3e0e443181997c52b0db19ae781948c573a634dd (patch) | |
| tree | b2741925310087d5339b4f9952c8553553858a2c /src | |
| parent | ef83ced4e170130cb6f9acd1d253351b02490658 (diff) | |
ProgressBar: Respect verbosity level
This makes its behaviour consistent with SimpleLogger.
Diffstat (limited to 'src')
| -rw-r--r-- | src/libmain/progress-bar.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libmain/progress-bar.cc b/src/libmain/progress-bar.cc index 0e5432fca..15354549a 100644 --- a/src/libmain/progress-bar.cc +++ b/src/libmain/progress-bar.cc @@ -122,6 +122,7 @@ public: void log(Verbosity lvl, const FormatOrString & fs) override { + if (lvl > verbosity) return; auto state(state_.lock()); log(*state, lvl, fs.s); } |