diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-12-31 18:24:12 +0100 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2016-12-31 18:24:12 +0100 |
commit | ae73a2944a89e0d2406a2aab4a4c082e1e9da3f9 (patch) | |
tree | 5aad3ec8d399efb68b6a83133e7747e20c540616 /.gitignore | |
parent | 4e18c2cee6da39982cc463cafbf27eab5561099f (diff) |
allow warning generation for non-whitelisted options
The idea is simple: Each¹ Find*( call starts with a call check if the
given option (with the requested type) exists in the whitelist. The
whitelist is specified via our configure-index file so that we have
a better chance at keeping it current. the whitelist is loaded via a
special (undocumented for now) configuration stanza and if none is
loaded the empty whitelist will make it so that no warnings are shown.
Much needs to be done still, but that is as good a time as any to take a
snapshot of the current state and release it into the wild given that it
found some bugs already and has no practical effect on users.
¹ not all in this iteration, but many
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions