diff options
| author | Dylan Baker <dylan@pnwbakers.com> | 2020-09-14 10:07:15 -0700 |
|---|---|---|
| committer | Xavier Claessens <xclaesse@gmail.com> | 2020-10-05 08:59:45 -0400 |
| commit | 4b1c1d83c88853a6be99b53e4d27c414b7b36137 (patch) | |
| tree | 019ab6975511f521db01a6046aa091fae5596eca /docs/markdown/snippets | |
| parent | 30a102d9a3d4594bb757b28e5b6796e327393eef (diff) | |
| download | meson-4b1c1d83c88853a6be99b53e4d27c414b7b36137.zip meson-4b1c1d83c88853a6be99b53e4d27c414b7b36137.tar.gz meson-4b1c1d83c88853a6be99b53e4d27c414b7b36137.tar.bz2 | |
machinefiles: Allow keys to be stored case insensitive
This is required to make the various keys in the [user options] section
work the same as they do in the meson_options.txt file, where we don't
have any rules about case sensitivity.
There is some risk here. Someone may be relying on this lower by default
behavior, and this could break their machine files.
Fixes #7731
Diffstat (limited to 'docs/markdown/snippets')
| -rw-r--r-- | docs/markdown/snippets/machine-files-case-insensitve.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/markdown/snippets/machine-files-case-insensitve.md b/docs/markdown/snippets/machine-files-case-insensitve.md new file mode 100644 index 0000000..cacd37c --- /dev/null +++ b/docs/markdown/snippets/machine-files-case-insensitve.md @@ -0,0 +1,6 @@ +## Machine file keys are stored case sensitive + +Previous the keys were always lowered, which worked fine for the values that +were allowed in the machine files. With the addition of per-project options +we need to make these sensitive to case, as the options in meson_options.txt +are sensitive to case already. |