You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2026-01-06 19:41:11 +00:00
committed by
Rémi Verschelde
parent
5a49e45d21
commit
dcd4b80c13
@@ -265,6 +265,8 @@ if selected_platform in platform_list:
|
||||
sys.exit(255)
|
||||
suffix+=".opt"
|
||||
|
||||
env.Append(CCFLAGS=['-DNDEBUG']);
|
||||
|
||||
elif (env["target"]=="release_debug"):
|
||||
if (env["tools"]=="yes"):
|
||||
suffix+=".opt.tools"
|
||||
|
||||
Reference in New Issue
Block a user