diff options
Diffstat (limited to 'src/other_tools/root_maps/fpath_git_map.cpp')
| -rw-r--r-- | src/other_tools/root_maps/fpath_git_map.cpp | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/other_tools/root_maps/fpath_git_map.cpp b/src/other_tools/root_maps/fpath_git_map.cpp index 7ca438c1..11344de1 100644 --- a/src/other_tools/root_maps/fpath_git_map.cpp +++ b/src/other_tools/root_maps/fpath_git_map.cpp @@ -46,17 +46,9 @@ void CheckServeAndSetRoot( return; // fatal } if (not *has_tree) { - if (not remote_api) { - (*logger)(fmt::format( - "Missing remote-execution endpoint needed to " - "sync workspace root {} with the serve endpoint.", - tree_id), - /*fatal=*/true); - return; - } if (not EnsureAbsentRootOnServe(tree_id, repo_root, - remote_api, + *remote_api, logger, /*no_sync_is_fatal=*/absent)) { return; // fatal |