diff options
author | 2018-01-28 14:25:52 +1100 | |
---|---|---|
committer | 2018-01-28 14:25:52 +1100 | |
commit | 4e8bb7c7e5c84ee384fd2c3b68896ca74cff9884 (patch) | |
tree | 5a185ef6a4070f53ad73122f280ca872f7580719 /scripts/genie.lua | |
parent | 46af74afdfc4735a47db4ccea6263932e118b198 (diff) |
srcclean and regenerate localisations (nw)
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 d44cdf12a71..85222858732 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -955,7 +955,7 @@ end buildoptions_cpp { "-Woverloaded-virtual", } - + if _OPTIONS["SANITIZE"] then buildoptions { "-fsanitize=".. _OPTIONS["SANITIZE"] |