diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-10-31 15:50:59 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-14 13:35:01 +0100 |
| commit | 17f88a4752243f09ede9571014b8d723aca6ca44 (patch) | |
| tree | b50c76f7d9aff20dd95726dde337e005a71bb5c6 /src/other_tools/root_maps/commit_git_map.hpp | |
| parent | 4c12fa12f7ad54174cce97ee511b9a897c992fc1 (diff) | |
| download | justbuild-17f88a4752243f09ede9571014b8d723aca6ca44.tar.gz | |
just-mr: Add 'mirrors' field to 'git' repositories
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.hpp')
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.hpp b/src/other_tools/root_maps/commit_git_map.hpp index 26ed018b..a85f04e1 100644 --- a/src/other_tools/root_maps/commit_git_map.hpp +++ b/src/other_tools/root_maps/commit_git_map.hpp @@ -17,6 +17,7 @@ #include <string> #include <utility> +#include <vector> #include "nlohmann/json.hpp" #include "src/buildtool/common/user_structs.hpp" @@ -32,6 +33,7 @@ struct GitRepoInfo { std::string repo_url{}; std::string branch{}; std::string subdir{}; /* key */ + std::vector<std::string> mirrors{}; // name of repository for which work is done; used in progress reporting std::string origin{}; // create root that ignores symlinks |