summaryrefslogtreecommitdiff
path: root/src/other_tools/repo_map
diff options
context:
space:
mode:
authorPaul Cristian Sarbu <paul.cristian.sarbu@huawei.com>2023-05-25 17:34:42 +0200
committerPaul Cristian Sarbu <paul.cristian.sarbu@huawei.com>2023-05-31 15:21:02 +0200
commitd5faeb9cb5a28758069301f6d0394842f71ca4ad (patch)
treeaa9353dbf8d70345cb78d8dd62eae53276fdf719 /src/other_tools/repo_map
parent6215a8c22c486c9a2dbb79cc6d202c5b6d542229 (diff)
downloadjustbuild-d5faeb9cb5a28758069301f6d0394842f71ca4ad.tar.gz
git tree repos: Add option for ignore-special root...
...and fix missing origin field initialization for progress tracing.
Diffstat (limited to 'src/other_tools/repo_map')
-rw-r--r--src/other_tools/repo_map/repos_to_setup_map.cpp10
1 files changed, 9 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 cb5f9293..0637b81d 100644
--- a/src/other_tools/repo_map/repos_to_setup_map.cpp
+++ b/src/other_tools/repo_map/repos_to_setup_map.cpp
@@ -561,11 +561,19 @@ void GitTreeCheckout(ExpressionPtr const& repo_desc,
}
}
}
+ // get ignore-special entry
+ auto repo_desc_ignore_special =
+ repo_desc->Get("ignore_special", Expression::none_t{});
+ bool ignore_special = repo_desc_ignore_special->IsBool()
+ ? repo_desc_ignore_special->Bool()
+ : false;
// populate struct
TreeIdInfo tree_id_info = {
repo_desc_hash->get()->String(), /* hash */
std::move(env), /* env_vars */
- std::move(cmd) /* command */
+ std::move(cmd), /* command */
+ repo_name, /* origin */
+ ignore_special /* ignore_special */
};
// get the WS root as git tree
tree_id_git_map->ConsumeAfterKeysReady(