diff options
author | 2015-04-22 14:24:41 +0200 | |
---|---|---|
committer | 2015-04-22 14:24:41 +0200 | |
commit | 45d4aed8b77cf6cf7b1f714192b69564714bd012 (patch) | |
tree | 5f0c5e1042e68c408d2764e4f3e9dba34008ee1b /scripts/genie.lua | |
parent | 3827f898ab9e2693ba3d85a585928987f5566c86 (diff) |
do not strip by default
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index 37bd81c12df..ddb651bb4b1 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -1148,7 +1148,7 @@ else end mainProject(_OPTIONS["target"],_OPTIONS["subtarget"]) -if (_OPTIONS["STRIP_SYMBOLS"]== nil or _OPTIONS["STRIP_SYMBOLS"]=="1") then +if (_OPTIONS["STRIP_SYMBOLS"]=="1") then strip() end |