diff options
| author | Hein-Pieter van Braam <hp@tmm.cx> | 2017-12-16 13:54:14 +0100 |
|---|---|---|
| committer | Hein-Pieter van Braam <hp@tmm.cx> | 2017-12-16 13:55:04 +0100 |
| commit | 05018582d796cbaaa516c2a729012352a2f4cb3f (patch) | |
| tree | 0b597bafdf3861713b1060bee9a4b59a1b9d52f8 /platform/windows/SCsub | |
| parent | 9079be9e83206d368e03e5237b24fed2535c866d (diff) | |
Rename the debug symbol files to .debugsymbols
Some users were confused by the '.debug' suffix for the symbols.
Diffstat (limited to 'platform/windows/SCsub')
| -rw-r--r-- | platform/windows/SCsub | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/platform/windows/SCsub b/platform/windows/SCsub index 5030f4b3e0..604896b0db 100644 --- a/platform/windows/SCsub +++ b/platform/windows/SCsub @@ -9,9 +9,9 @@ def make_debug_mingw(target, source, env): 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 + 'objcopy --only-keep-debug %s %s.debugsymbols' % (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])) + os.system(mingw_prefix + 'objcopy --add-gnu-debuglink=%s.debugsymbols %s' % (target[0], target[0])) common_win = [ "context_gl_win.cpp", |