diff --git a/project.properties b/project.properties index f5d3108f4a..0ef8414732 100644 --- a/project.properties +++ b/project.properties @@ -75,6 +75,18 @@ target.otherclasses.dir=${target.dir}/other-classes # Where to find code formatting rules jalopy.xml=jalopy.xml +# Where we generate instrumented (Cloverised) classes +target.clover.dir=${target.dir}/clover +clover.dbdir=${target.clover.dir} +clover.dbfile=acegi_security_coverage.db +clover.initstring=${clover.dbdir}/${clover.dbfile} +target.clover.html.dir=${target.dir}/clover-reports + +# Global property to exclude selected classes from Clover instrumentation. +# Typically we'll use this to exclude experimental packages from coverage +# analysis, or classes that are intended to support development. +clover.excludes= + # ------------------------------------------------------------------------ # docbook reference documentation # - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -