diff options
author | 2016-03-31 20:37:28 +0200 | |
---|---|---|
committer | 2016-03-31 20:37:28 +0200 | |
commit | 5c34b1ba40a348a8f941423724acbf2a4b0feb8b (patch) | |
tree | 7ca937c359533f5df660cb62d7ec0b1c87988ea9 /3rdparty/genie/src/base/api.lua | |
parent | 6281e26ddb07c6a754517b91d8c42ba773223752 (diff) |
Update GENie (nw)
Diffstat (limited to '3rdparty/genie/src/base/api.lua')
-rw-r--r-- | 3rdparty/genie/src/base/api.lua | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/3rdparty/genie/src/base/api.lua b/3rdparty/genie/src/base/api.lua index f784209b677..ccd021981c3 100644 --- a/3rdparty/genie/src/base/api.lua +++ b/3rdparty/genie/src/base/api.lua @@ -1146,3 +1146,13 @@ function newoption(opt) premake.option.add(opt) end + + +-- +-- Enable file level configuration +-- this makes project generation slower for large projects +-- + + function enablefilelevelconfig() + premake._filelevelconfig = true + end |