Skip to content

Commit 08cf4a7

Browse files
committed
Try to silence coverity submit if some JS compilations failed.
We accept a compilation success rate >= 90% for JS.
1 parent f4d1139 commit 08cf4a7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

submit_coverity_scan.sh

Lines changed: 1 addition & 1 deletion
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 \([8-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\.))' || true
97+
grep -vE '(^Coverity Build Capture|^Internal version numbers:|^[[:space:]]*$|compilation units \(100%\)|PHP compilation units \([8-9][0-9]%\)|JavaScript 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\.))' || true
9898
else
9999
cat
100100
fi

0 commit comments

Comments
 (0)