diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-01-12 11:03:16 +0100 |
|---|---|---|
| committer | Sascha Roloff <sascha.roloff@huawei.com> | 2023-02-27 20:59:19 +0100 |
| commit | 89a630cc609cf72c829ec6bffaad978223f22387 (patch) | |
| tree | ad393b55c9b8e90e3b28dad63297afc738668c73 /doc/tutorial | |
| parent | 58907519b378a3054f58f945f95115be243347f3 (diff) | |
| download | justbuild-89a630cc609cf72c829ec6bffaad978223f22387.tar.gz | |
Just-MR: Extend ops and root maps keys with fields needed in progress reporting
In order to only report actual work, the name of the repository for which
work is actually done needs to be known to certain AsyncMaps used by just-mr.
Also, fetches not originating in a distdir repo checkout need to be counted
additionally, so an additional flag was needed for the content_cas_map.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions