diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 09:56:50 +0100 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 15:52:07 +0100 |
commit | 47f25e7684e6b34ade5071657d012b35f7fd51bf (patch) | |
tree | 98b4439a661c4fc010fa0784070bfccf935346ef /src/other_tools/root_maps/commit_git_map.cpp | |
parent | 42b9b6b1751ad10327250ba678b3bf8e7cd3a1c6 (diff) | |
download | justbuild-47f25e7684e6b34ade5071657d012b35f7fd51bf.tar.gz |
just-mr setup: Add missing reporting of failed hostname replacement
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.cpp')
-rw-r--r-- | src/other_tools/root_maps/commit_git_map.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.cpp b/src/other_tools/root_maps/commit_git_map.cpp index ff35d95b..e07a8967 100644 --- a/src/other_tools/root_maps/commit_git_map.cpp +++ b/src/other_tools/root_maps/commit_git_map.cpp @@ -411,6 +411,13 @@ void EnsureCommit(GitRepoInfo const& repo_info, remotes_buffer.append( fmt::format("\n> {}", *preferred_url)); } + else { + // report failed hostname + remotes_buffer.append( + fmt::format("\n> {} (failed hostname replace: {})", + fetch_repo, + hostname)); + } } } if (not fetched) { @@ -469,6 +476,13 @@ void EnsureCommit(GitRepoInfo const& repo_info, remotes_buffer.append(fmt::format( "\n> {}", *preferred_mirror)); } + else { + // report failed hostname + remotes_buffer.append(fmt::format( + "\n> {} (failed hostname replace: {})", + mirror, + hostname)); + } } } if (fetched) { |