summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorHenri Sara <hesara@vaadin.com>2012-06-27 12:09:43 +0300
committerHenri Sara <hesara@vaadin.com>2012-06-27 12:09:43 +0300
commit4ef99ec731c10d7c2e33b3bac68b7b6d3ff242ca (patch)
tree391852f54077b0f666ebeaeb6ffa9c0877db204a /build
parentc348b301241310de233e9856d0609ac7cde0aa1e (diff)
downloadvaadin-framework-4ef99ec731c10d7c2e33b3bac68b7b6d3ff242ca.tar.gz
vaadin-framework-4ef99ec731c10d7c2e33b3bac68b7b6d3ff242ca.zip
Include rebased streamhtmlparser library in Vaadin JAR.
The library was previously in gwt-dev.jar and was included automatically, moved to gwt-user.jar in GWT 2.5 release branch and thus needs to be included explicitly.
Diffstat (limited to 'build')
-rw-r--r--build/build.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml
index cf852ad450..436170edc2 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -752,6 +752,7 @@
<zipfileset src="${gwt.tools.lib}/w3c/sac/sac-1.3.jar" />
<zipfileset src="${gwt.tools.lib}/w3c/flute/flute-1.3-gg2.jar" />
+ <zipfileset src="${gwt.tools.lib}/streamhtmlparser/streamhtmlparser-jsilver-r10/streamhtmlparser-jsilver-r10-1.5-rebased.jar" />
<!-- GWT development JAR contents including many external dependencies -->
<zipfileset src="${gwt.dev.jar}" excludes="javax/servlet/**,javax/xml/**" />