diff --git a/clover/plugin.jelly b/clover/plugin.jelly index d2265ab6..4e19a857 100644 --- a/clover/plugin.jelly +++ b/clover/plugin.jelly @@ -146,8 +146,8 @@ + flushpolicy="${maven.clover.flushpolicy}" + flushinterval="${maven.clover.flushinterval}"> 3 maven-clover-plugin Maven Clover Plugin - 1.10 + 1.11-SNAPSHOT The Clover plugin allows measuring test coverage using Clover (http://www.cenqua.com/clover). Produce Clover reports http://maven.apache.org/reference/plugins/clover/ diff --git a/clover/xdocs/changes.xml b/clover/xdocs/changes.xml index ef030690..aec66730 100644 --- a/clover/xdocs/changes.xml +++ b/clover/xdocs/changes.xml @@ -24,6 +24,8 @@ Emmanuel Venisse + + Upgrade to Clover 1.3.9. The diff --git a/clover/xdocs/properties.xml b/clover/xdocs/properties.xml index e48e2a83..96d83d24 100644 --- a/clover/xdocs/properties.xml +++ b/clover/xdocs/properties.xml @@ -268,6 +268,29 @@ **/clover_coverage.db + + maven.clover.flushpolicy + Yes + + The flush policy + that Clover should use to flush coverage data to its database. + + + threaded + + + + maven.clover.flushinterval + Yes + + When the flush policy is set to interval or + threaded this value is the minimum period between + flush operations (in milliseconds). + + + 5000 + +