fix for missing tgz build error

2010-01-31 20:26:57 +00:00
parent ed443fe0d6
commit bfd1306a56
1 changed files with 6 additions and 1 deletions
--- a/apps/jetty/build.xml
+++ b/apps/jetty/build.xml
@@ -42,7 +42,12 @@
        <get src="${jetty.url}" verbose="true" dest="${jetty.filename}" />
    </target>

-    <uptodate property="verified.already" srcfile="${jetty.filename}" targetfile="${verified.filename}" />
+    <condition property="verified.already" >
+        <and>
+            <available file="${jetty.filename}" />
+            <uptodate property="foo.bar.baz" srcfile="${jetty.filename}" targetfile="${verified.filename}" />
+        </and>
+    </condition>

    <target name="verifyJettylib" unless="verified.already" >
        <condition property="jetty.zip.verified" >