diff options
Diffstat (limited to 'bbot/agent/agent.cli')
| -rw-r--r-- | bbot/agent/agent.cli | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bbot/agent/agent.cli b/bbot/agent/agent.cli index 22dc088..aa7eb59 100644 --- a/bbot/agent/agent.cli +++ b/bbot/agent/agent.cli @@ -65,6 +65,16 @@ namespace bbot interfaces, etc." } + string --toolchain-lock // Note: string to allow empty path. + { + "<path>", + "Absolute path to the global toolchain lock file. If unspecified, then + \c{\b{/var/lock/bbot-agent-}\i{toolchain-name}\b{.lock}} is used by + default. If empty path is specified then no global locking is + performed. If one of the \cb{--fake-*} options is specified, then no + locking is performed by default." + } + standard_version --toolchain-ver { "<stdver>", |