diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-12-16 14:50:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-16 14:50:32 +0100 |
commit | 83b15561836447c622e8c961e0558a0d2c5cc728 (patch) | |
tree | ed410e4e9a815b0f9ec8d559e678bb144e46f91d | |
parent | 1c18943e97940fa89dbc61ad3c733f29f65b9743 (diff) | |
parent | 05018582d796cbaaa516c2a729012352a2f4cb3f (diff) |
Merge pull request #14734 from hpvb/rename-debug-symbols
Rename the debug symbol files to .debugsymbols
-rw-r--r-- | platform/windows/SCsub | 4 | ||||
-rw-r--r-- | platform/x11/SCsub | 4 |
2 files changed, 4 insertions, 4 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", diff --git a/platform/x11/SCsub b/platform/x11/SCsub index 6378553638..38dd2ddd88 100644 --- a/platform/x11/SCsub +++ b/platform/x11/SCsub @@ -4,9 +4,9 @@ import os Import('env') def make_debug(target, source, env): - os.system('objcopy --only-keep-debug %s %s.debug' % (target[0], target[0])) + os.system('objcopy --only-keep-debug %s %s.debugsymbols' % (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])) + os.system('objcopy --add-gnu-debuglink=%s.debugsymbols %s' % (target[0], target[0])) common_x11 = [ "context_gl_x11.cpp", |