diff options
Diffstat (limited to 'java/common.xml')
| -rw-r--r-- | java/common.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/java/common.xml b/java/common.xml index 40167ef1f5..67b0714a4a 100644 --- a/java/common.xml +++ b/java/common.xml @@ -43,6 +43,7 @@ <property name="build.data" location="${build.scratch}/data"/> <property name="build.plugins" location="${build}/lib/plugins"/> <property name="build.coveragereport" location="${build}/coverage"/> + <property name="build.findbugs" location="${build}/findbugs"/> <property name="java.target" value="1.5"/> <property name="java.source" value="1.5"/> @@ -60,6 +61,7 @@ <property name="cobertura.dir" value="${project.root}/lib/cobertura" /> <property name="mllib.dir" value="${project.root}/../python" /> + <property name="findbugs.dir" value="${project.root}/lib/findbugs" /> <path id="cobertura.classpath"> <fileset dir="${cobertura.dir}"> @@ -178,6 +180,8 @@ <taskdef classpathref="cobertura.classpath" resource="tasks.properties" /> </target> + <taskdef name="findbugs" classname="edu.umd.cs.findbugs.anttask.FindBugsTask" classpath="${findbugs.dir}/findbugs-ant.jar"/> + <target name="help" description="display detailed build documentation"> <echo> ant build |