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/other_tools/root_maps/distdir_git_map.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/other_tools/root_maps/distdir_git_map.cpp')
| -rw-r--r-- | src/other_tools/root_maps/distdir_git_map.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/distdir_git_map.cpp b/src/other_tools/root_maps/distdir_git_map.cpp index 82e86303..3289430b 100644 --- a/src/other_tools/root_maps/distdir_git_map.cpp +++ b/src/other_tools/root_maps/distdir_git_map.cpp @@ -103,6 +103,8 @@ auto CreateDistdirGitMap( {"git tree", distdir_tree_id, JustMR::Utils::GetGitCacheRoot().string()})); + // report cache hit + JustMRStatistics::Instance().IncrementCacheHitsCounter(); }, [logger, target_path = JustMR::Utils::GetGitCacheRoot()]( auto const& msg, bool fatal) { |