genvslite: fix the core option being listed as one of the per-project options

Post-facto application of issues that were caught during post-merge
review, after the genvslite PR was merged without a full review.
This commit is contained in:
Eli Schwartz 2023-07-02 12:33:03 -04:00
parent 9a6a95483c
commit a63ed40191
No known key found for this signature in database
GPG Key ID: CEB167EFB5722BD6
1 changed files with 1 additions and 0 deletions

View File

@ -2158,6 +2158,7 @@ _BUILTIN_NAMES = {
'debug',
'default_library',
'errorlogs',
'genvslite',
'install_umask',
'layout',
'optimization',