Build: Fix broken build from scratch in jetty build.xml

This commit is contained in:
zzz
2016-04-17 12:43:43 +00:00
parent ca3f9963c6
commit 3428995906

View File

@@ -50,6 +50,16 @@
<available file="${jetty.filename}" type="file" />
</or>
</condition>
<condition property="verified.already" >
<or>
<istrue value="${with-libjetty8-java}" />
<istrue value="${jetty.zip.extracted}" />
<and>
<available file="${jetty.filename}" />
<uptodate property="foo.bar.baz" srcfile="${jetty.filename}" targetfile="${verified.filename}" />
</and>
</or>
</condition>
</target>
<!--
@@ -80,17 +90,6 @@
<get src="${jetty.url}" verbose="true" dest="${jetty.filename}" />
</target>
<condition property="verified.already" >
<or>
<istrue value="${with-libjetty8-java}" />
<istrue value="${jetty.zip.extracted}" />
<and>
<available file="${jetty.filename}" />
<uptodate property="foo.bar.baz" srcfile="${jetty.filename}" targetfile="${verified.filename}" />
</and>
</or>
</condition>
<target name="verifyJettylib" depends="fetchJettylib" unless="verified.already" >
<condition property="jetty.zip.verified" >
<checksum file="${jetty.filename}" algorithm="SHA" property="${jetty.sha1}" />