diff options
| author | Maksim Denisov <denisov.maksim@huawei.com> | 2025-02-10 11:03:39 +0100 |
|---|---|---|
| committer | Maksim Denisov <denisov.maksim@huawei.com> | 2025-02-10 17:59:50 +0100 |
| commit | b82ca04d3ae413fa062aff8a32a0328559c0be85 (patch) | |
| tree | ac2e6dd0965af3d45fb7c924c4d64d69b4f88201 /src/buildtool/execution_engine/executor | |
| parent | e0833fcedfdb7233047615650900ef2f285a80eb (diff) | |
| download | justbuild-b82ca04d3ae413fa062aff8a32a0328559c0be85.tar.gz | |
Take into account server capabilities while batching.
Diffstat (limited to 'src/buildtool/execution_engine/executor')
0 files changed, 0 insertions, 0 deletions