diff options
author | 2015-04-19 16:21:36 +0200 | |
---|---|---|
committer | 2015-04-19 16:21:36 +0200 | |
commit | 073fd3f7d41580b08729f0a009066b149c535e54 (patch) | |
tree | 6da12db7095e9923283df69f64d22d26af22af8c /scripts/genie.lua | |
parent | f9462eb086d1832237f44e52941e55d56db51ca7 (diff) |
Added NO_STRIPPING option and enabled stripping of executable by default (nw)
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 |