Fixed options not being added to the list as lowercase. Fixes: 216
This commit is contained in:
parent
b44a08ee55
commit
06f928e964
@ -87,7 +87,7 @@
|
||||
end
|
||||
|
||||
-- add it to the master list
|
||||
premake.option.list[opt.trigger] = opt
|
||||
premake.option.list[opt.trigger:lower()] = opt
|
||||
|
||||
-- if it has a default value, set it.
|
||||
if opt.default and not _OPTIONS[opt.trigger] then
|
||||
|
Loading…
Reference in New Issue
Block a user