diff options
author | Richard Braun <rbraun@sceen.net> | 2018-02-10 11:52:09 +0100 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2018-02-12 21:09:51 +0100 |
commit | ba782cb04a98bdccc4009c3abe272453daca501f (patch) | |
tree | 5cc749f9dd3be80b318711623ddf22fd6328cc13 /kern/timer.h | |
parent | 68e95635b39a755a0a6282f42ce91b2e676348c6 (diff) |
tools/build_configs.py: add a set of test options
Commit e9a983d84583065a68c591571b5afd3c589a923e discusses scalability
issues with regard to building the tests, but at that time, only the
large set was considered. This change adds a set of test options which
is built on top of the small set of options.
Diffstat (limited to 'kern/timer.h')
0 files changed, 0 insertions, 0 deletions