summaryrefslogtreecommitdiff
path: root/src/buildtool/execution_api/remote
diff options
context:
space:
mode:
authorPaul Cristian Sarbu <paul.cristian.sarbu@huawei.com>2024-07-15 14:40:15 +0200
committerPaul Cristian Sarbu <paul.cristian.sarbu@huawei.com>2024-07-16 17:51:12 +0200
commit6c95b7c6e20467270da26cd5d10111bb9307c065 (patch)
tree7646515782153e60427ee8a07532b2df07e7e012 /src/buildtool/execution_api/remote
parent978de9de55d9592c258052dd52dc25c788a89d78 (diff)
downloadjustbuild-6c95b7c6e20467270da26cd5d10111bb9307c065.tar.gz
Add useful aliases for platform properties and dispatch endpoint
Diffstat (limited to 'src/buildtool/execution_api/remote')
-rw-r--r--src/buildtool/execution_api/remote/config.hpp11
1 files changed, 5 insertions, 6 deletions
diff --git a/src/buildtool/execution_api/remote/config.hpp b/src/buildtool/execution_api/remote/config.hpp
index 7167a3ad..ea7a7093 100644
--- a/src/buildtool/execution_api/remote/config.hpp
+++ b/src/buildtool/execution_api/remote/config.hpp
@@ -79,13 +79,13 @@ class RemoteExecutionConfig {
}
// Instance dispatch list
- [[nodiscard]] static auto DispatchList() noexcept -> std::vector<
- std::pair<std::map<std::string, std::string>, ServerAddress>> {
+ [[nodiscard]] static auto DispatchList() noexcept
+ -> std::vector<DispatchEndpoint> {
return Instance().dispatch_;
}
[[nodiscard]] static auto PlatformProperties() noexcept
- -> std::map<std::string, std::string> {
+ -> ExecutionProperties {
return Instance().platform_properties_;
}
@@ -134,14 +134,13 @@ class RemoteExecutionConfig {
std::optional<ServerAddress> remote_address_{};
// Server dispatch data
- std::vector<std::pair<std::map<std::string, std::string>, ServerAddress>>
- dispatch_{};
+ std::vector<DispatchEndpoint> dispatch_{};
// Server address of cache endpoint for rebuild.
std::optional<ServerAddress> cache_address_{};
// Platform properties for execution.
- std::map<std::string, std::string> platform_properties_{};
+ ExecutionProperties platform_properties_{};
};
#endif // INCLUDED_SRC_BUILDTOOL_EXECUTION_API_REMOTE_CONFIG_HPP