build.xml
changeset 2005 f7317e178329
parent 1977 ea57287e97c9
child 2008 026a5b1c3cde
--- a/build.xml	Tue Nov 18 16:52:56 2008 +0000
+++ b/build.xml	Tue Nov 18 16:55:04 2008 +0000
@@ -518,4 +518,8 @@
 			  exportRD="${obx.export.RD}"/>
 	</target>
 
+	 <target name="diagnostic">
+	    <ant dir="src-diagnostics" antfile="build-create.xml" target="build"/>
+	    <ant dir="src-diagnostics" target="check.all"/>
+	  </target>
 </project>