diff options
| author | James Moger <james.moger@gitblit.com> | 2012-03-25 20:31:19 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2012-03-25 20:31:19 -0400 |
| commit | 5e43f65d95b7e68a7ed90fe17be4594f4d974f4e (patch) | |
| tree | 955d7256ae950f0f61de720b471c164d4319efa6 | |
| parent | 1d221a7731b41474bb73783d8d56ba3b12658b53 (diff) | |
| download | gitblit-5e43f65d95b7e68a7ed90fe17be4594f4d974f4e.tar.gz gitblit-5e43f65d95b7e68a7ed90fe17be4594f4d974f4e.zip | |
Do not include servlet jar in WAR build
| -rw-r--r-- | build.xml | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -406,6 +406,7 @@ <exclude name="jetty*.jar" />
<exclude name="junit*.jar" />
<exclude name="servlet*.jar" />
+ <exclude name="javax.servlet*.jar" />
</fileset>
</copy>
@@ -542,6 +543,7 @@ <exclude name="jetty*.jar" />
<exclude name="junit*.jar" />
<exclude name="servlet*.jar" />
+ <exclude name="javax.servlet*.jar" />
</fileset>
</copy>
@@ -984,4 +986,4 @@ <delete dir="${project.war.dir}" />
<delete dir="${project.deploy.dir}" />
</target>
-</project> +</project>
|