diff options
Diffstat (limited to 'scripts/cppcheck.sh')
| -rwxr-xr-x | scripts/cppcheck.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/cppcheck.sh b/scripts/cppcheck.sh index b0f8598a..f21c74e7 100755 --- a/scripts/cppcheck.sh +++ b/scripts/cppcheck.sh @@ -34,7 +34,7 @@ done ret_code=0 -grep -v "unmatchedSuppression" ${LOG_FILE} | grep -v "nn.hpp" | grep -v "pj_wkt1_generated_parser" | grep -v "pj_wkt2_generated_parser" > ${LOG_FILE}.tmp +grep -v "unmatchedSuppression" ${LOG_FILE} | grep -v "nn.hpp" | grep -v "wkt1_generated_parser" | grep -v "wkt2_generated_parser" > ${LOG_FILE}.tmp mv ${LOG_FILE}.tmp ${LOG_FILE} if grep "null pointer" ${LOG_FILE} ; then |
