summaryrefslogtreecommitdiff
path: root/platform/x11
diff options
context:
space:
mode:
authorHein-Pieter van Braam <hp@tmm.cx>2017-12-16 13:54:14 +0100
committerHein-Pieter van Braam <hp@tmm.cx>2017-12-16 13:55:04 +0100
commit05018582d796cbaaa516c2a729012352a2f4cb3f (patch)
tree0b597bafdf3861713b1060bee9a4b59a1b9d52f8 /platform/x11
parent9079be9e83206d368e03e5237b24fed2535c866d (diff)
Rename the debug symbol files to .debugsymbols
Some users were confused by the '.debug' suffix for the symbols.
Diffstat (limited to 'platform/x11')
-rw-r--r--platform/x11/SCsub4
1 files changed, 2 insertions, 2 deletions
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",