diff options
author | 2015-04-11 08:46:02 +0200 | |
---|---|---|
committer | 2015-04-11 08:46:02 +0200 | |
commit | 59e60e47df58ede7fdd69ed9c78de08ba76f79ab (patch) | |
tree | 7015142502368ac0369e01312947cca861d75b07 /scripts/genie.lua | |
parent | 7950ff092eccbe66af4bf8697dc1eb5c5e3bae40 (diff) |
Added SHADOW_CHECK parameter so we can work on shadowing issues in our code (nw)
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index e30795b5baa..c752efdc243 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -279,6 +279,16 @@ newoption { description = "Python executable.", } +newoption { + trigger = "SHADOW_CHECK", + description = "Shadow checks.", + allowed = { + { "0", "Disabled" }, + { "1", "Enabled" }, + } +} + + PYTHON = "python" if _OPTIONS["PYTHON_EXECUTABLE"]~=nil then @@ -832,6 +842,11 @@ end } end else + if (_OPTIONS["SHADOW_CHECK"]=="1") then + buildoptions { + "-Wshadow" + } + end if (version == 40201) then buildoptions { "-Wno-cast-align" |