1 files changed, 4 insertions, 1 deletions

diff --git a/scripts/faddr2line b/scripts/faddr2line
index 9e5735a4d3a5..1876a741087c 100755
--- a/scripts/faddr2line
+++ b/scripts/faddr2line
@@ -170,7 +170,10 @@ __faddr2line() {
                 echo "$file_lines" | while read -r line
                 do
                         echo $line
-                        eval $(echo $line | awk -F "[ :]" '{printf("n1=%d;n2=%d;f=%s",$NF-5, $NF+5, $(NF-1))}')
+                        n=$(echo $line | sed 's/.*:\([0-9]\+\).*/\1/g')
+                        n1=$[$n-5]
+                        n2=$[$n+5]
+                        f=$(echo $line | sed 's/.*at \(.\+\):.*/\1/g')
                         awk 'NR>=strtonum("'$n1'") && NR<=strtonum("'$n2'") {printf("%d\t%s\n", NR, $0)}' $f
                 done