diff options
Diffstat (limited to 'bbot/agent.cli')
-rw-r--r-- | bbot/agent.cli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bbot/agent.cli b/bbot/agent.cli index 49563f8..b55379c 100644 --- a/bbot/agent.cli +++ b/bbot/agent.cli @@ -54,6 +54,13 @@ namespace bbot "Toolchain number, 1 by default." } + standard_version --toolchain-ver + { + "<stdver>", + "Toolchain version. If unspecified, then the agent's version will be + used (which will be imprecise for snapshot versions)." + } + string --toolchain-id { "<str>", |