Skip to content

Commit 4778cd1

Browse files
committed
Ignore compiler detection output in coverity scan script
1 parent 7036259 commit 4778cd1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

submit_coverity_scan.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,7 @@ git_commit()
9494
quietfilter()
9595
{
9696
if [ "$QUIET" ]; then
97-
grep -vE '(^Coverity Build Capture|^Internal version numbers:|^[[:space:]]*$|compilation units \(100%\)|PHP compilation units \([3-9][0-9]%\)|(JavaScript|Python) compilation units \(9[0-9]%\)|^Looking for translation units|^The cov-build utility completed successfully\.|^Build successfully submitted\.|^\[STATUS\] |^\*+$|^\|[0-9-]+\|$|^\[WARNING\] (Path .* looks like an idir\.|No source file matches in filesystem capture search directory:|Filesystem capture was enabled but yielded no source file matches\.)|For more details, please look at:|/cov-int/build-log\.txt)' || true
97+
grep -vE '(^Coverity Build Capture|^Internal version numbers:|^[[:space:]]*$|compilation units \(100%\)|PHP compilation units \([3-9][0-9]%\)|(JavaScript|Python) compilation units \(9[0-9]%\)|^Looking for translation units|^The cov-build utility completed successfully\.|^Build successfully submitted\.|^\[STATUS\] |^\*+$|^\|[0-9-]+\|$|^\[WARNING\] (Path .* looks like an idir\.|No source file matches in filesystem capture search directory:|Filesystem capture was enabled but yielded no source file matches\.)|For more details, please look at:|/cov-int/build-log\.txt|^Attempting to detect unconfigured compilers in build)' || true
9898
else
9999
cat
100100
fi

0 commit comments

Comments
 (0)