diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-06-20 17:33:50 +0200 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-06-22 17:58:50 +0200 |
commit | 7cd8f488e55ff4598bad27009d33b89171be5cbf (patch) | |
tree | 4e6379c82a383187b47da67f5335d174270552ac /doc/future-designs/execution-properties.md | |
parent | 47fdc0c8e32ae9330d0608d3fa282a8eb1dc0355 (diff) | |
download | justbuild-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.md | 8 |
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. |