diff options
| author | Henri Sara <hesara@vaadin.com> | 2012-06-27 12:09:43 +0300 |
|---|---|---|
| committer | Henri Sara <hesara@vaadin.com> | 2012-06-27 12:09:43 +0300 |
| commit | 4ef99ec731c10d7c2e33b3bac68b7b6d3ff242ca (patch) | |
| tree | 391852f54077b0f666ebeaeb6ffa9c0877db204a /build/build.xml | |
| parent | c348b301241310de233e9856d0609ac7cde0aa1e (diff) | |
| download | vaadin-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/build.xml')
| -rw-r--r-- | build/build.xml | 1 |
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/**" /> |