diff options
| -rwxr-xr-x | compiler-rt/lib/sanitizer_common/scripts/check_lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler-rt/lib/sanitizer_common/scripts/check_lint.sh b/compiler-rt/lib/sanitizer_common/scripts/check_lint.sh index fdd8de792db..4a2febab461 100755 --- a/compiler-rt/lib/sanitizer_common/scripts/check_lint.sh +++ b/compiler-rt/lib/sanitizer_common/scripts/check_lint.sh @@ -55,7 +55,7 @@ run_lint() { FILTER=$1 shift TASK_LOG=$(${MKTEMP}) - ${CPPLINT} --filter=${FILTER} "$@" 2>$TASK_LOG + ${CPPLINT} --filter=${FILTER} "$@" > $TASK_LOG 2>&1 if [ "$?" != "0" ]; then cat $TASK_LOG | grep -v "Done processing" | grep -v "Total errors found" \ | grep -v "Skipping input" >> $ERROR_LOG |
