This is an automated email from the ASF dual-hosted git repository.
markt pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/main by this push:
new f4ca2d28ef Exclude the default Coverity scan output directory from
Checkstyle scans
f4ca2d28ef is described below
commit f4ca2d28ef1d6200a6dffd303997cb7fa3d87c24
Author: Mark Thomas <ma...@apache.org>
AuthorDate: Thu Aug 28 12:49:28 2025 +0100
Exclude the default Coverity scan output directory from Checkstyle scans
---
build.xml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/build.xml b/build.xml
index b605ce54f5..eeca32b9f3 100644
--- a/build.xml
+++ b/build.xml
@@ -915,6 +915,8 @@
<!-- Exclude developer specific local files -->
<exclude name="build.properties" />
<exclude name="res/maven/mvn.properties" />
+ <!-- Exclude the default Coverity Scan output directory -->
+ <exclude name="cov-int/**" />
</fileset>
<fileset dir="modules/jdbc-pool" >
<exclude name=".*/**"/>
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
