diff options
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 |