diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2025-05-26 08:42:53 +0200 |
|---|---|---|
| committer | Dylan Baker <dylan@pnwbakers.com> | 2025-07-14 10:26:46 -0700 |
| commit | bdabc2e5de8764521ded7e2e919a13e9e214757d (patch) | |
| tree | b0b01056a85f9fedd072e5ea33f7de00db631bc9 /docs | |
| parent | 12563f74a9f3dda70dcd4778aa958de355d1fae7 (diff) | |
| download | meson-bdabc2e5de8764521ded7e2e919a13e9e214757d.tar.gz | |
interpreter: allow retrieving build options with get_option()
Fixes: #14788
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/yaml/functions/get_option.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/yaml/functions/get_option.yaml b/docs/yaml/functions/get_option.yaml index 0934758bc..b8b1fc4cd 100644 --- a/docs/yaml/functions/get_option.yaml +++ b/docs/yaml/functions/get_option.yaml @@ -20,6 +20,11 @@ description: | See [`feature` options](Build-options.md#features) documentation for more details. + For options that are [specified + per-machine](Builtin-options.md#specifying-options-per-machine) + `get_option()` retrieves the value of the option for the + build machine if the argument starts with `build.`. + posargs: option_name: type: str |