diff options
author | Alberto Sartori <alberto.sartori@huawei.com> | 2023-12-13 14:44:21 +0100 |
---|---|---|
committer | Alberto Sartori <alberto.sartori@huawei.com> | 2023-12-13 23:04:36 +0100 |
commit | 3fb25cdc64ca77c75e0835f3bbd8965980d6ac70 (patch) | |
tree | 0f2a4563f06d8835b37f1f7503c0a29a1137bbd4 /src/buildtool/common/cli.hpp | |
parent | 48890ad9951a31cbeae55413c205a2b6b1c24a81 (diff) | |
download | justbuild-3fb25cdc64ca77c75e0835f3bbd8965980d6ac70.tar.gz |
just serve: allowing for tuning retry strategy in the configuration file
While parsing the configuration file, if the key `"execution
endpoint"` is present, the following three keys are evaluated as well:
- "max-attempts"
- "initial-backoff-seconds"
- "max-backoff-seconds"
Diffstat (limited to 'src/buildtool/common/cli.hpp')
0 files changed, 0 insertions, 0 deletions