diff options
Diffstat (limited to 'scripts/decode_stacktrace.sh')
-rwxr-xr-x | scripts/decode_stacktrace.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/decode_stacktrace.sh b/scripts/decode_stacktrace.sh index 98a7d63a723e..bcdd45df3f51 100755 --- a/scripts/decode_stacktrace.sh +++ b/scripts/decode_stacktrace.sh | |||
@@ -37,6 +37,13 @@ parse_symbol() { | |||
37 | symbol=${symbol#\(} | 37 | symbol=${symbol#\(} |
38 | symbol=${symbol%\)} | 38 | symbol=${symbol%\)} |
39 | 39 | ||
40 | # Strip segment | ||
41 | local segment | ||
42 | if [[ $symbol == *:* ]] ; then | ||
43 | segment=${symbol%%:*}: | ||
44 | symbol=${symbol#*:} | ||
45 | fi | ||
46 | |||
40 | # Strip the symbol name so that we could look it up | 47 | # Strip the symbol name so that we could look it up |
41 | local name=${symbol%+*} | 48 | local name=${symbol%+*} |
42 | 49 | ||
@@ -84,7 +91,7 @@ parse_symbol() { | |||
84 | code=${code//$'\n'/' '} | 91 | code=${code//$'\n'/' '} |
85 | 92 | ||
86 | # Replace old address with pretty line numbers | 93 | # Replace old address with pretty line numbers |
87 | symbol="$name ($code)" | 94 | symbol="$segment$name ($code)" |
88 | } | 95 | } |
89 | 96 | ||
90 | decode_code() { | 97 | decode_code() { |