From 43c7cc0893f001a33e91d2a940449d0af2a6d816 Mon Sep 17 00:00:00 2001
From: HungryHobo <HungryHobo@mail.i2p>
Date: Sat, 6 Nov 2010 05:38:00 +0000
Subject: [PATCH] Auto download jetty in the debian and debian-source targets

---
 build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index f1bc5aea9..525eff86f 100644
--- a/build.xml
+++ b/build.xml
@@ -905,7 +905,7 @@
         </exec>
         <echo message="====================" />
         <!-- bundle the 20MB jetty 5 lib since there probably isn't a deb for it -->
-        <ant dir="apps/jetty" target="verifyJettylib" />
+        <ant dir="apps/jetty" target="ensureJettylib" />
         <exec executable="dpkg-buildpackage" failifexecutionfails="true">
             <arg value="-I_MTN" />
         </exec>
@@ -924,7 +924,7 @@
     </target>
     <target name="debian-source">
         <!-- bundle the 20MB jetty 5 lib since there probably isn't a deb for it -->
-        <ant dir="apps/jetty" target="verifyJettylib" />
+        <ant dir="apps/jetty" target="ensureJettylib" />
         <echo message="Did you update the version in these files?" />
         <exec executable="ls" failonerror="true">
             <arg value="-l" />