jetty 5.1.15

This commit is contained in:
zzz
2010-01-31 05:06:50 +00:00
parent 390981e10c
commit ed443fe0d6
6 changed files with 38 additions and 18 deletions

View File

@@ -255,7 +255,8 @@
<defaultexcludes default="true"/>
</target>
<target name="pkg" depends="distclean, updater, preppkg, installer" />
<!-- A few reeleases only, then back to updater. First release was 0.7.11 -->
<target name="pkg" depends="distclean, updaterWithJettyFixes, preppkg, installer" />
<target name="pkgclean" depends="deletepkg-temp">
<delete>