From df1020a6b4e95eca097545f98452d5b004f8e11c Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 19 Apr 2013 11:27:11 +0300 Subject: [PATCH] show_unreachable.sh: change the line number format OLD: path/to/file.c 1234 NEW: path/to/file.c:2134 Signed-off-by: Dan Carpenter --- smatch_scripts/show_unreachable.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_scripts/show_unreachable.sh b/smatch_scripts/show_unreachable.sh index 6c19dc28..5341cd76 100755 --- a/smatch_scripts/show_unreachable.sh +++ b/smatch_scripts/show_unreachable.sh @@ -54,7 +54,7 @@ grep 'ignoring unreachable' $file | cut -d ' ' -f1 | while read loc; do fi echo "=========================================================" - echo $code_file $line + echo $code_file:$line tail -n +$(($line - ($context - 1))) $code_file | head -n $(($context - 1)) echo "---------------------------------------------------------" tail -n +${line} $code_file | head -n $context -- 2.11.4.GIT