diff options
author | Alexey Samsonov <samsonov@google.com> | 2013-08-28 12:15:03 +0000 |
---|---|---|
committer | Alexey Samsonov <samsonov@google.com> | 2013-08-28 12:15:03 +0000 |
commit | 81b8120b555eedd578e0737d081d1f6d76cfc3b9 (patch) | |
tree | d5819c17b93217416be6d06086f38da124766aa3 /lib/sanitizer_common/scripts | |
parent | fafab2f5e27eecbfaaee727f66ecd068dafa41fe (diff) | |
download | compiler-rt-81b8120b555eedd578e0737d081d1f6d76cfc3b9.tar.gz compiler-rt-81b8120b555eedd578e0737d081d1f6d76cfc3b9.tar.bz2 compiler-rt-81b8120b555eedd578e0737d081d1f6d76cfc3b9.tar.xz |
Make lint checker script more robust
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@189479 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/sanitizer_common/scripts')
-rwxr-xr-x | lib/sanitizer_common/scripts/check_lint.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/sanitizer_common/scripts/check_lint.sh b/lib/sanitizer_common/scripts/check_lint.sh index 7269425d..df4871b8 100755 --- a/lib/sanitizer_common/scripts/check_lint.sh +++ b/lib/sanitizer_common/scripts/check_lint.sh @@ -31,12 +31,12 @@ SANITIZER_INCLUDES_LINT_FILTER=${COMMON_LINT_FILTER},-runtime/int cd ${LLVM_CHECKOUT} EXITSTATUS=0 -LOG=$(mktemp) +LOG=$(mktemp -q) run_lint() { FILTER=$1 shift - if [ "${SILENT}" == "1" ]; then + if [[ "${SILENT}" == "1" && "${LOG}" != "" ]]; then ${CPPLINT} --filter=${FILTER} "$@" 2>>$LOG else ${CPPLINT} --filter=${FILTER} "$@" @@ -97,7 +97,8 @@ for FILE in $FILES; do done if [ "$EXITSTATUS" != "0" ]; then - cat $LOG | grep -v "Done processing" | grep -v "Total errors found" + cat $LOG | grep -v "Done processing" | grep -v "Total errors found" \ + grep -v "Skipping input" fi exit $EXITSTATUS |