From 7ca35452ebdfc6efaf9813da8e08f2d52af3acf2 Mon Sep 17 00:00:00 2001
From: jrandom <jrandom>
Date: Tue, 22 Jun 2004 04:56:44 +0000
Subject: [PATCH] new target - buildclean (== distclean build) useful for my
 ide so i dont have to run two targets sequentially (and 'dist' goes one step
 further to include javadoc, which i dont need)

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 0c5e56dea..2c9212ff8 100644
--- a/build.xml
+++ b/build.xml
@@ -12,6 +12,7 @@
     </target>
     <target name="dist" depends="distclean, build, javadoc" />
     <target name="build" depends="builddep, jar" />
+    <target name="buildclean" depends="distclean, builddep, jar" />
     <target name="builddep">
 	<!-- build *everything* here, but only once -->
         <ant dir="core/java/" target="jar" />