summaryrefslogtreecommitdiff
path: root/apt-private/private-unmet.cc
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2016-12-31 18:24:12 +0100
committerDavid Kalnischkies <david@kalnischkies.de>2016-12-31 18:24:12 +0100
commitae73a2944a89e0d2406a2aab4a4c082e1e9da3f9 (patch)
tree5aad3ec8d399efb68b6a83133e7747e20c540616 /apt-private/private-unmet.cc
parent4e18c2cee6da39982cc463cafbf27eab5561099f (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 'apt-private/private-unmet.cc')
0 files changed, 0 insertions, 0 deletions