diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-12 00:15:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-12 00:15:26 +0100 |
| commit | f15c255916326bd052eae47329e05e27a414aebf (patch) | |
| tree | 8122e7092a2be6e00b3215045bf57f5f6ebf7a56 | |
| parent | 8cd4b9bf27c893c18b020c5c0bbb578ae489f00b (diff) | |
| parent | 5f5c4613858a1ff7ada77121f423dfb627a5c421 (diff) | |
Merge pull request #14565 from bruvzg/mingw-specific-binutils
Use MinGW specific binutils for debug symbols separation.
| -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", |