diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-17 11:40:57 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-20 11:10:05 +0100 |
commit | 7104c7f1dc04187bd23e9499f247d628592e0dd8 (patch) | |
tree | c719775c5f3fb5e1219c333979fda7ed994e8294 /src/other_tools/git_operations/git_repo_remote.hpp | |
parent | fe99ba0bb02ca2032a464ae0eddc41e0e9ebdb2c (diff) | |
download | justbuild-7104c7f1dc04187bd23e9499f247d628592e0dd8.tar.gz |
just-mr: rework progress reporting and statistics
To avoid unnecessary work, just-mr uses on-disk caches, including
for the mapping of a distdir to the corresponding git tree. This,
however, implies that the number of repositories that are actually
considered varies: in order to fetch a distdir repository, all
involved archives have to be fetched, but if we have a cache hit
none of them is even looked at.
So, in order to have a consistent reporting only count top-level
targets (i.e., the reachable repositories) in the statistics,
not the archives implicitly contained in a distdir, nor low-level
sub tasks. The actual fetch acitvity is shown separately by the
task tracker.
Diffstat (limited to 'src/other_tools/git_operations/git_repo_remote.hpp')
0 files changed, 0 insertions, 0 deletions