diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-02-10 14:28:00 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-02-12 21:10:00 +0100 |
| commit | 9656d4234d97ec434d6efbcf1a33c53652faa9f2 (patch) | |
| tree | a6d20288dbaa6cc2f64798e2df0e5818fbe3c025 /kern/timer.c | |
| parent | ba782cb04a98bdccc4009c3abe272453daca501f (diff) | |
tools/build_configs.py: implement passing filters
Reduce the complexity of generating exclusive boolean filters, in which
only one option can be enabled, by supporting passing filters, filtering
out configurations which do not match the filter.
Diffstat (limited to 'kern/timer.c')
0 files changed, 0 insertions, 0 deletions