summaryrefslogtreecommitdiffstatshomepage
path: root/scripts/genie.lua
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r--scripts/genie.lua16
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