diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 10:11:51 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 15:52:07 +0100 |
| commit | 42b9b6b1751ad10327250ba678b3bf8e7cd3a1c6 (patch) | |
| tree | 3f11f89d2dd29d5818a9c21446014315c2850c3c /src/other_tools/root_maps/commit_git_map.cpp | |
| parent | d3c656c06505d23d847e4f704be5c27c6c3ccef4 (diff) | |
| download | justbuild-42b9b6b1751ad10327250ba678b3bf8e7cd3a1c6.tar.gz | |
just-mr setup: Fix bug in fetching Git repos
This bug was introduced with the alternative mirrors changes.
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.cpp')
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.cpp | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.cpp b/src/other_tools/root_maps/commit_git_map.cpp index 6bf11efc..ff35d95b 100644 --- a/src/other_tools/root_maps/commit_git_map.cpp +++ b/src/other_tools/root_maps/commit_git_map.cpp @@ -423,12 +423,15 @@ void EnsureCommit(GitRepoInfo const& repo_info, fetch_repo, msg); }); - if (not git_repo->FetchViaTmpRepo(tmp_dir->GetPath(), - fetch_repo, - repo_info.branch, - git_bin, - launcher, - wrapped_logger)) { + if (git_repo->FetchViaTmpRepo(tmp_dir->GetPath(), + fetch_repo, + repo_info.branch, + git_bin, + launcher, + wrapped_logger)) { + fetched = true; + } + else { // add main fetch URL to buffer remotes_buffer.append(fmt::format("\n> {}", fetch_repo)); // now try to fetch from mirrors, in order, if given |