diff options
Diffstat (limited to 'scripts/genie.lua')
-rw-r--r-- | scripts/genie.lua | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/scripts/genie.lua b/scripts/genie.lua index 8d52dc75391..dd955bd0ce9 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -1309,10 +1309,7 @@ else startproject (_OPTIONS["subtarget"]) end mainProject(_OPTIONS["target"],_OPTIONS["subtarget"]) - -if (_OPTIONS["STRIP_SYMBOLS"]=="1") then - strip() -end +strip() if _OPTIONS["with-tools"] then group "tools" |