summaryrefslogtreecommitdiff
path: root/platform/server
diff options
context:
space:
mode:
authorRafał Mikrut <mikrutrafal@protonmail.com>2021-03-13 15:29:55 +0100
committerRafał Mikrut <mikrutrafal@protonmail.com>2021-03-14 15:51:05 +0100
commit0b298d201e6010daff369821951c67fbb4e63a10 (patch)
tree339bf5d4ca0f4e0b6ea95c45dcc4394adcb4963a /platform/server
parent942f5f0cb282cbc2b3fb766e3c7614e82b98dd9b (diff)
Allow to not optimize release build
Diffstat (limited to 'platform/server')
-rw-r--r--platform/server/detect.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/platform/server/detect.py b/platform/server/detect.py
index c799ce03e1..16ddbe1768 100644
--- a/platform/server/detect.py
+++ b/platform/server/detect.py
@@ -56,7 +56,7 @@ def configure(env):
if env["target"] == "release":
if env["optimize"] == "speed": # optimize for speed (default)
env.Prepend(CCFLAGS=["-O3"])
- else: # optimize for size
+ elif env["optimize"] == "size": # optimize for size
env.Prepend(CCFLAGS=["-Os"])
if env["debug_symbols"]:
@@ -65,7 +65,7 @@ def configure(env):
elif env["target"] == "release_debug":
if env["optimize"] == "speed": # optimize for speed (default)
env.Prepend(CCFLAGS=["-O2"])
- else: # optimize for size
+ elif env["optimize"] == "size": # optimize for size
env.Prepend(CCFLAGS=["-Os"])
env.Prepend(CPPDEFINES=["DEBUG_ENABLED"])