Skip to content

Commit 25fd1dd

Browse files
committed
Allow down to 80% of PHP scripts to succeed to compile.
Coverity scan only supports PHP <= 7.0, so compilation fails for various scripts, for example when adding nullable types in function declarations.
1 parent 702a16f commit 25fd1dd

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
@@ -85,7 +85,7 @@ git_commit()
8585
quietfilter()
8686
{
8787
if [ "$QUIET" ]; then
88-
grep -vE '(^Coverity Build Capture|^Internal version numbers:|^[[:space:]]*$|compilation units \(100%\)|PHP 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
88+
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
8989
else
9090
cat
9191
fi

0 commit comments

Comments
 (0)