diff --git a/apps/jetty/build.xml b/apps/jetty/build.xml index 133376d13116f77df255454420e92334c5115fe4..ed1f4a60e2beaae722d6c972a49782f4496cd8e8 100644 --- 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" >