diff options
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index 597dca93f26..019b4486c0c 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -287,6 +287,15 @@ newoption { } } +newoption { + trigger = "NO_STRIPPING", + description = "Stripping.", + allowed = { + { "0", "Enabled" }, + { "1", "Disabled" }, + } +} + PYTHON = "python" @@ -1139,11 +1148,12 @@ else end mainProject(_OPTIONS["target"],_OPTIONS["subtarget"]) +if (_OPTIONS["NO_STRIPPING"]~="1") then + strip() +end + if _OPTIONS["with-tools"] then group "tools" dofile(path.join("src", "tools.lua")) end -if (_ACTION == "gmake" and _OPTIONS["gcc"]=='asmjs') then - strip() -end |