diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-11-12 21:22:31 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-11-12 21:22:31 +0100 |
| commit | adeff7f23f0786f74a21f007e10f924628c2d49b (patch) | |
| tree | f27c751402a513ba30f2b46b17b1a02f2ae2e976 /kern | |
| parent | b433de1b2f3ea18721b1873760626f56ba80bbc5 (diff) | |
tools/build_configs.py: update compiler-related option names
Commit a18a9d0cc0232dc151cef3d2d61807182ef7f6ea renamed options related
to the compiler, but the configuration checking script was not updated
with the new names. Fix that now.
Diffstat (limited to 'kern')
0 files changed, 0 insertions, 0 deletions