build.xml
changeset 2008 026a5b1c3cde
parent 2005 f7317e178329
child 2026 84de36177925
--- a/build.xml	Tue Nov 18 17:06:51 2008 +0000
+++ b/build.xml	Tue Nov 18 17:10:22 2008 +0000
@@ -519,7 +519,6 @@
 	</target>
 
 	 <target name="diagnostic">
-	    <ant dir="src-diagnostics" antfile="build-create.xml" target="build"/>
 	    <ant dir="src-diagnostics" target="check.all"/>
 	  </target>
 </project>