diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-21 14:58:54 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-23 09:50:42 +0100 |
| commit | 12d0c288ea23e1bd7e0401223ba413bca3d94869 (patch) | |
| tree | b6e16385368863b11ba8656b7b651440c9f5783b /src/other_tools/ops_maps/git_update_map.hpp | |
| parent | 17143ed02545efab55c175db66a9e31db4cce0f0 (diff) | |
| download | justbuild-12d0c288ea23e1bd7e0401223ba413bca3d94869.tar.gz | |
just-mr: Shell out to system Git for update commit from SSH remote...
...due to limitations in SSH support in libgit2. In this case, we
simply execute 'git ls-remote <repo> [<branch>]' and then parse
the output. Remote interogation requires no local repository, so
it is an asynchronious operation by default.
Diffstat (limited to 'src/other_tools/ops_maps/git_update_map.hpp')
| -rw-r--r-- | src/other_tools/ops_maps/git_update_map.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/other_tools/ops_maps/git_update_map.hpp b/src/other_tools/ops_maps/git_update_map.hpp index d4804545..93a5da30 100644 --- a/src/other_tools/ops_maps/git_update_map.hpp +++ b/src/other_tools/ops_maps/git_update_map.hpp @@ -38,6 +38,7 @@ struct hash<StringPair> { } // namespace std [[nodiscard]] auto CreateGitUpdateMap(GitCASPtr const& git_cas, + std::vector<std::string> const& launcher, std::size_t jobs) -> GitUpdateMap; #endif // INCLUDED_SRC_OTHER_TOOLS_OPS_MAPS_GIT_UPDATE_MAP_HPP
\ No newline at end of file |