diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-04-19 02:02:08 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-04-19 02:02:08 +0200 |
| commit | 89ebd57e0bb3a63f2f794ce41dd4c831b4aeb35c (patch) | |
| tree | 65450f2f98fe1392eb0fda751489c6344733b881 /kern/task.h | |
| parent | 8790d75d93c7e06b7b93c1078260aaf1e4ea25ca (diff) | |
tools/build_configs.py: augment the small set
Add CONFIG_CC_EXE and CONFIG_64BITS to the small (default) set of options
to test since they are among the most important options a developer should
mechanically check when using the tool.
Diffstat (limited to 'kern/task.h')
0 files changed, 0 insertions, 0 deletions