diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-20 22:44:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-20 22:44:47 +0100 |
| commit | fcddd8c53a6402b8fdf999667a991f3953c6abbc (patch) | |
| tree | 3dd8b30f539bf16a07508d99c93670563432d806 /platform/server/detect.py | |
| parent | 992de9c053720f7a2d6f7144297486f6ebfa32ff (diff) | |
| parent | 0b298d201e6010daff369821951c67fbb4e63a10 (diff) | |
Merge pull request #46966 from qarmin/faster_release
Allow to not optimize release build
Diffstat (limited to 'platform/server/detect.py')
| -rw-r--r-- | platform/server/detect.py | 4 |
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"]) |