aboutsummaryrefslogtreecommitdiff
path: root/bbot/agent.cli
diff options
context:
space:
mode:
Diffstat (limited to 'bbot/agent.cli')
-rw-r--r--bbot/agent.cli7
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>",