gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-10-06 15:04:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

SCons: Fix separate_debug_symbols option for Windows/MinGW

Browse source
This commit is contained in:
Rémi Verschelde 2022-12-21 13:52:42 +01:00
parent 63f95c0e58
commit 865c637279
No known key found for this signature in database
GPG key ID: C3336907360768E1
1 changed files with 5 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
platform/windows/platform_windows_builders.py
View file

@ -4,18 +4,15 @@ All such functions are invoked in a subprocess on Windows to prevent build flaki
"""
import os
from detect import get_mingw_bin_prefix
from platform_methods import subprocess_main
def make_debug_mingw(target, source, env):
mingw_prefix = ""
if env["arch"] == "x86_32":
mingw_prefix = env["mingw_prefix_32"]
else:
mingw_prefix = env["mingw_prefix_64"]
os.system(mingw_prefix + "objcopy --only-keep-debug {0} {0}.debugsymbols".format(target[0]))
os.system(mingw_prefix + "strip --strip-debug --strip-unneeded {0}".format(target[0]))
os.system(mingw_prefix + "objcopy --add-gnu-debuglink={0}.debugsymbols {0}".format(target[0]))
mingw_bin_prefix = get_mingw_bin_prefix(env["mingw_prefix"], env["arch"])
os.system(mingw_bin_prefix + "objcopy --only-keep-debug {0} {0}.debugsymbols".format(target[0]))
os.system(mingw_bin_prefix + "strip --strip-debug --strip-unneeded {0}".format(target[0]))
os.system(mingw_bin_prefix + "objcopy --add-gnu-debuglink={0}.debugsymbols {0}".format(target[0]))
if __name__ == "__main__":