From 4b1c1d83c88853a6be99b53e4d27c414b7b36137 Mon Sep 17 00:00:00 2001 From: Dylan Baker Date: Mon, 14 Sep 2020 10:07:15 -0700 Subject: 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 --- docs/markdown/snippets/machine-files-case-insensitve.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 docs/markdown/snippets/machine-files-case-insensitve.md (limited to 'docs/markdown/snippets') 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. -- cgit v1.1