diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-09-21 17:03:10 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-09-22 11:19:12 +0200 |
| commit | 6858bd31196f7e5e4b5466044f240b5df5ba885a (patch) | |
| tree | 938b8744aee5d9f8677e4a1ded35aa169f4308b6 /src/other_tools/root_maps/commit_git_map.cpp | |
| parent | 7198c44421cf410eb421d5ad7ee3ae3c28c6e8d5 (diff) | |
| download | justbuild-6858bd31196f7e5e4b5466044f240b5df5ba885a.tar.gz | |
commit git map: Improve warning message
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.cpp')
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.cpp b/src/other_tools/root_maps/commit_git_map.cpp index a70406d1..69922878 100644 --- a/src/other_tools/root_maps/commit_git_map.cpp +++ b/src/other_tools/root_maps/commit_git_map.cpp @@ -256,9 +256,11 @@ void EnsureCommit(GitRepoInfo const& repo_info, else { if (not fetch_absent) { // give warning - (*logger)( - "Absent root requested, but no serve endpoint provided", - /*fatal=*/false); + (*logger)(fmt::format("Missing serve endpoint for Git " + "repository {} marked absent " + "requires slower network fetch.", + repo_root.string()), + /*fatal=*/false); } } } |