From d7e90969d0587816930f325e5b2ed2d4ce48f19a Mon Sep 17 00:00:00 2001
From: zzz <zzz@mail.i2p>
Date: Sun, 7 Feb 2010 20:16:18 +0000
Subject: [PATCH] delete jettylib on distclean to ensure we get the new jetty

---
 apps/jetty/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/jetty/build.xml b/apps/jetty/build.xml
index ed1f4a60e..13c0036e4 100644
--- a/apps/jetty/build.xml
+++ b/apps/jetty/build.xml
@@ -110,10 +110,10 @@
     </target>    
     <target name="cleandep" depends="clean" />
     <target name="distclean" depends="clean">
+        <delete dir="./jettylib" />
         <echo message="Not actually deleting the jetty libs (since they're so large)" />
     </target>
     <target name="reallyclean" depends="distclean">
-        <delete dir="./jettylib" />
     </target>
     <target name="totallyclean" depends="clean">
         <delete dir="./jettylib" />