diff options
| author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 11:19:08 +0200 |
|---|---|---|
| committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-29 09:54:47 +0200 |
| commit | 81bdf8d2d672e135e68745e6975ad5edafadf13a (patch) | |
| tree | 3a571a94b17c0436ac586f01384308a687b86ee4 /src/libmain | |
| parent | 6fd6795bc4faed644c5f3abafdcb21638a119342 (diff) | |
util.{hh,cc}: Split out terminal.{hh,cc}
Change-Id: I9de2296b4012d50f540124001d54d6ca3be4c6da
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 1a68daca2..f3700f103 100644 --- a/src/libmain/progress-bar.cc +++ b/src/libmain/progress-bar.cc @@ -3,6 +3,7 @@ #include "sync.hh" #include "store-api.hh" #include "names.hh" +#include "terminal.hh" #include <atomic> #include <map> |