diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-12-23 17:05:46 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-12-23 18:29:08 +0100 |
| commit | 1de5a178bc804209eeeb512023de1ce4d77eef42 (patch) | |
| tree | 1eebdf44511e585394616ec64ec7d8b626f33e03 /src/other_tools/root_maps/distdir_git_map.hpp | |
| parent | e86cf7ad0d9e5fe2e711e82d6a573d16436c3cf5 (diff) | |
| download | justbuild-1de5a178bc804209eeeb512023de1ce4d77eef42.tar.gz | |
Just-MR: Fix bloated reachable repos
Use intermediary unordered sets to store the repos to_setup and to_include
to avoid unnecessary duplicates. It is purely a performance benefit.
Diffstat (limited to 'src/other_tools/root_maps/distdir_git_map.hpp')
0 files changed, 0 insertions, 0 deletions