aboutsummaryrefslogtreecommitdiff
path: root/bbot/agent/agent.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2023-05-10 09:06:38 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2023-05-10 09:06:38 +0200
commit086567572e4a4172f68b6a5a246598fe9d84e132 (patch)
tree30e1d4bcf486f528cdeff55e08dbfb93ebdf543a /bbot/agent/agent.cli
parentcff0e40a337f06857cef72da9105ea235214ee8c (diff)
Add global toolchain locking to agent
This is the ground work for the task priority/interrupt support.
Diffstat (limited to 'bbot/agent/agent.cli')
-rw-r--r--bbot/agent/agent.cli10
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>",