diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2017-12-11 18:00:08 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2017-12-11 18:12:50 +0200 |
| commit | 5f5c4613858a1ff7ada77121f423dfb627a5c421 (patch) | |
| tree | 3bb94d7e0f2bffc0466245a68492ff455ae939d6 /platform/windows/SCsub | |
| parent | 523237943cff1bb1b2b5e85289bb89455856437a (diff) | |
Use MinGW specific binutils for debug symbols separation
Diffstat (limited to 'platform/windows/SCsub')
| -rw-r--r-- | platform/windows/SCsub | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/platform/windows/SCsub b/platform/windows/SCsub index 5a253d5db5..135ccd902a 100644 --- a/platform/windows/SCsub +++ b/platform/windows/SCsub @@ -4,9 +4,14 @@ import os Import('env') def make_debug_mingw(target, source, env): - os.system('objcopy --only-keep-debug %s %s.debug' % (target[0], target[0])) - os.system('strip --strip-debug --strip-unneeded %s' % (target[0])) - os.system('objcopy --add-gnu-debuglink=%s.debug %s' % (target[0], target[0])) + mingw_prefix = "" + if (env["bits"] == "32"): + mingw_prefix = env["mingw_prefix_32"] + else: + mingw_prefix = env["mingw_prefix_64"] + os.system(mingw_prefix + 'objcopy --only-keep-debug %s %s.debug' % (target[0], target[0])) + os.system(mingw_prefix + 'strip --strip-debug --strip-unneeded %s' % (target[0])) + os.system(mingw_prefix + 'objcopy --add-gnu-debuglink=%s.debug %s' % (target[0], target[0])) common_win = [ "context_gl_win.cpp", |