diff options
Diffstat (limited to 'src/other_tools/repo_map')
| -rw-r--r-- | src/other_tools/repo_map/repos_to_setup_map.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/other_tools/repo_map/repos_to_setup_map.cpp b/src/other_tools/repo_map/repos_to_setup_map.cpp index 4a8498c5..d8bfe3a3 100644 --- a/src/other_tools/repo_map/repos_to_setup_map.cpp +++ b/src/other_tools/repo_map/repos_to_setup_map.cpp @@ -670,6 +670,10 @@ void PrecomputedRootCheckout(ExpressionPtr const& repo_desc, ws_root.push_back(computed->target_name); ws_root.push_back(computed->config); } + else if (auto tree_structure = result.AsTreeStructure()) { + ws_root.push_back(TreeStructureRoot::kMarker); + ws_root.push_back(tree_structure->repository); + } std::invoke(*setter, std::move(cfg)); }, logger); @@ -860,7 +864,7 @@ auto CreateReposToSetupMap( wrapped_logger); break; } - case CheckoutType::Computed: { + case CheckoutType::Precomputed: { PrecomputedRootCheckout(*resolved_repo_desc, std::move(repos), key, |