diff options
| author | jade <lix@jade.fyi> | 2024-05-30 14:57:37 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@lix-systems> | 2024-05-30 14:57:37 +0000 |
| commit | 18aa3e1d570b4ecbb9962376e5fba5757dad8da9 (patch) | |
| tree | ad9edb3d85c7f3e9b6a33f65efeebbdbc9bd243b /src/libmain | |
| parent | 53d40888ffe8238ab5baf6a9d1a7481c29e9c65d (diff) | |
| parent | 7575db522e9008685c4009423398f6900a16bcce (diff) | |
Merge "Remove 100s of CPU time (10%) from build times (1465s -> 1302s)" into main
Diffstat (limited to 'src/libmain')
| -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 11b2fe800..d83b09cd4 100644 --- a/src/libmain/progress-bar.cc +++ b/src/libmain/progress-bar.cc @@ -7,6 +7,7 @@ #include <atomic> #include <map> #include <thread> +#include <sstream> #include <iostream> #include <chrono> |