diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-25 17:34:42 +0200 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-31 15:21:02 +0200 |
commit | d5faeb9cb5a28758069301f6d0394842f71ca4ad (patch) | |
tree | aa9353dbf8d70345cb78d8dd62eae53276fdf719 /src/other_tools/repo_map | |
parent | 6215a8c22c486c9a2dbb79cc6d202c5b6d542229 (diff) | |
download | justbuild-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.cpp | 10 |
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( |