show_unreachable.sh: change the line number format
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 19 Apr 2013 08:27:11 +0000 (19 11:27 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 19 Apr 2013 08:27:11 +0000 (19 11:27 +0300)
OLD: path/to/file.c 1234
NEW: path/to/file.c:2134

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_scripts/show_unreachable.sh

index 6c19dc2..5341cd7 100755 (executable)
@@ -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