diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/stacktrace_resolve.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/stacktrace_resolve.awk b/tools/stacktrace_resolve.awk index 1b4742d..53d6993 100644 --- a/tools/stacktrace_resolve.awk +++ b/tools/stacktrace_resolve.awk @@ -4,7 +4,7 @@ addr = substr($0, RSTART + 2, RLENGTH - 2); if (addr != "00000000") { printf " "; - system("addr2line -psfe out/fs/boot/kernel.bin 0x" addr); + system("addr2line -psfe out/fs/boot/kernel 0x" addr); } $0 = substr($0, RSTART + RLENGTH); } |