summaryrefslogtreecommitdiff
path: root/doc/future-designs/execution-properties.md
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2023-06-20 17:33:50 +0200
committerKlaus Aehlig <klaus.aehlig@huawei.com>2023-06-22 17:58:50 +0200
commit7cd8f488e55ff4598bad27009d33b89171be5cbf (patch)
tree4e6379c82a383187b47da67f5335d174270552ac /doc/future-designs/execution-properties.md
parent47fdc0c8e32ae9330d0608d3fa282a8eb1dc0355 (diff)
downloadjustbuild-7cd8f488e55ff4598bad27009d33b89171be5cbf.tar.gz
Execution-properties design: allow null values
... as the result of evaluating "timeout scaling" or "execution properties". This implicit default is already implemented and allow simple access to variables without having to care for default values, thus having simpler rules.
Diffstat (limited to 'doc/future-designs/execution-properties.md')
-rw-r--r--doc/future-designs/execution-properties.md8
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/future-designs/execution-properties.md b/doc/future-designs/execution-properties.md
index d6fc53e8..3239f0af 100644
--- a/doc/future-designs/execution-properties.md
+++ b/doc/future-designs/execution-properties.md
@@ -79,7 +79,8 @@ proposed changes are backwards compatible.
#### `"execution properties"`
-This value has to evaluate to a map of strings; if not given, the
+This value has to evaluate to a map of strings or `null`;
+if not given or evaluating to `null`, the
empty map is taken as default. This map is taken as a union with any
remote-execution properties specified at the invocation of the build
(if keys are defined both, for the entire build and in
@@ -93,8 +94,9 @@ default.
#### `"timeout scaling"`
-If given, the value has to be a number greater or equal than `1.0`,
-with `1.0` taken as default. The action timeout specified for this
+If given, the value has to evaluate to a number greater or equal than
+`1.0`, or `null`. If not given, or evaluating to `null`, the value
+`1.0` is taken as default. The action timeout specified for this
build (the default value, or whatever is specified on the command
line) is multiplied by the given factor and taken as timeout for
this action. This applies for both, local and remote builds.