diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-02-28 17:49:55 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-06 10:39:58 +0100 |
| commit | 502b016897a7561bcd0158f9f6120f56ba35cef9 (patch) | |
| tree | 53154a7fea5bac96509b6f47fddfafe71f8b9b02 /src/buildtool/execution_api/execution_service/execution_server.cpp | |
| parent | 8f15cfaab8e6913a23dd31bcaf7399b539a9aac9 (diff) | |
| download | justbuild-502b016897a7561bcd0158f9f6120f56ba35cef9.tar.gz | |
Progress reporting: Adjust just-mr maps statistics counting
Reporting and counting should be done as early as possible, once
known that there is nothing cached.
Diffstat (limited to 'src/buildtool/execution_api/execution_service/execution_server.cpp')
0 files changed, 0 insertions, 0 deletions