diff options
| author | Alois Wohlschlager <alois1@gmx-topmail.de> | 2024-08-20 19:18:53 +0200 |
|---|---|---|
| committer | Alois Wohlschlager <alois1@gmx-topmail.de> | 2024-10-15 19:55:50 +0200 |
| commit | 689eb45630a183f0fbbd8864cb7a3c7cb1704451 (patch) | |
| tree | c927782eeb262509aff07c73cbfecbc0ab72522c /.github | |
| parent | ece99fee23d53185436a91f4cdd5cf5ad9652384 (diff) | |
treewide: make more settings conditionally available
Some settings only make sense on particular platforms, or only when a certain
experimental feature is enabled. Several of those were already conditionally
available. Do the same for a bunch more instead of silently ignoring them.
Exceptionally, the use-case-hack setting is not made conditional because it is
included in the test suite.
Change-Id: I29e66ad8ee6178a7c0eff9efb55c3410fae32514
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions