replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Prevent recognising lines by prefix 

Add colon to end of pattern to prevent recognising lines that start with the number of a valid line
This commit is contained in:
NathanJPhillips 2017-01-12 10:44:18 +00:00
parent 60ec17195c
commit 12561ba8f6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/run_lint.sh
View File

@ -49,7 +49,7 @@ for file in $diff_files; do
# Include line 0 errors (e.g. copyright)
lint_grep_filter+=$file
lint_grep_filter+=":0"
lint_grep_filter+=":0:"
# We first filter only the lines that start with a commit hash
# Then we filter out the ones that come from the start commit
@ -66,7 +66,7 @@ for file in $diff_files; do
# The format from the linting script is filepath:linenum: [error type]
# So we build the first bit to filter out relevant lines
LINE_FILTER=$file:$LINENUM
LINE_FILTER=$file:$LINENUM:
# Add the line filter on to the grep expression as we want
# lines that match any of the line filters