From bfd1306a566605c212e37bcb2237ce9ec5f3c177 Mon Sep 17 00:00:00 2001
From: zzz <zzz@mail.i2p>
Date: Sun, 31 Jan 2010 20:26:57 +0000
Subject: [PATCH] fix for missing tgz build error
---
apps/jetty/build.xml | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/apps/jetty/build.xml b/apps/jetty/build.xml
index 133376d131..ed1f4a60e2 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" >
--
GitLab