diff options
author | 2019-11-27 10:29:17 +1100 | |
---|---|---|
committer | 2019-11-27 10:29:17 +1100 | |
commit | 9a69fc85f3088ea8900b0c7f6488dbf60b199f8e (patch) | |
tree | 427f139707eff088046f74e3915dc301e8091c6d /docs/release/scripts/genie.lua | |
parent | 3a6be1140d695b71f13d365ee6481bbed6efe687 (diff) |
0.216 Release filestag216
Diffstat (limited to 'docs/release/scripts/genie.lua')
-rw-r--r-- | docs/release/scripts/genie.lua | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/docs/release/scripts/genie.lua b/docs/release/scripts/genie.lua index b29e02f9d90..6aa28173b1d 100644 --- a/docs/release/scripts/genie.lua +++ b/docs/release/scripts/genie.lua @@ -93,16 +93,10 @@ end function addprojectflags() local version = str_to_version(_OPTIONS["gcc_version"]) if _OPTIONS["gcc"]~=nil and string.find(_OPTIONS["gcc"], "gcc") then - if version >= 50100 then - buildoptions_cpp { - "-Wsuggest-override", - } - end - if version >= 60000 then - buildoptions_cpp { - "-flifetime-dse=1", - } - end + buildoptions_cpp { + "-Wsuggest-override", + "-flifetime-dse=1", + } end end |