diff options
Diffstat (limited to 'bbot/agent.cli')
| -rw-r--r-- | bbot/agent.cli | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/bbot/agent.cli b/bbot/agent.cli index 497b841..49563f8 100644 --- a/bbot/agent.cli +++ b/bbot/agent.cli @@ -106,6 +106,12 @@ namespace bbot 600 (10 minutes) by default." } + size_t --bootstrap-retries = 2 + { + "<num>", + "Number of time to retry a mis-booted bootstrap, 2 by default." + } + size_t --build-timeout = 1800 { "<sec>", @@ -113,6 +119,12 @@ namespace bbot minutes) by default." } + size_t --build-retries = 2 + { + "<num>", + "Number of time to retry a mis-booted build, 2 by default." + } + size_t --request-timeout = 300 { "<sec>", |