diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-05-03 12:07:02 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-05-03 12:07:02 +0200 |
commit | f5ab412da304e3970a6b5b3290758ed791c31881 (patch) | |
tree | 28ddc870029302d6a26209dba0f73b3ce692744d /bbot/agent.cli | |
parent | fa5ebd101b792fdf038394f0aaa4a4ab8e28dab6 (diff) |
Pass toolchain name/version to controller
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>", |