diff options
author | Henri Sara <hesara@vaadin.com> | 2012-06-15 12:22:05 +0300 |
---|---|---|
committer | Henri Sara <hesara@vaadin.com> | 2012-06-15 12:22:05 +0300 |
commit | 55c4eb544b780960917f67d38ad6123a5d58549d (patch) | |
tree | 7be36a23cdb24bcb57c7f7ca7693ef661d4bab4d /build | |
parent | 0fecc61d34fb8c52e6fbe49903920b58d0f8de61 (diff) | |
download | vaadin-framework-55c4eb544b780960917f67d38ad6123a5d58549d.tar.gz vaadin-framework-55c4eb544b780960917f67d38ad6123a5d58549d.zip |
GWT integration: only include DefaultWidgetSet.gwtar in Vaadin JAR.
Diffstat (limited to 'build')
-rw-r--r-- | build/build.xml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/build/build.xml b/build/build.xml index e49767c5da..1d91dfa611 100644 --- a/build/build.xml +++ b/build/build.xml @@ -731,9 +731,11 @@ </patternset> </fileset> - <!-- Precompiled widgetsets (.gwtar files) --> - <fileset dir="${result-precompiled-widgetsets}" includes="**/*.gwtar" excludes="com/vaadin/tests/**/*" /> + <!-- Precompiled widgetset (.gwtar file) - only include default widgetset, large file --> + <fileset dir="${result-precompiled-widgetsets}" includes="com/vaadin/terminal.gwt.DefaultWidgetSet.gwtar" /> + <!-- TODO GWT related license files etc. should be in subdirectories --> + <!-- GWT --> <fileset dir="${gwt.user.dir}/src" excludes="**/package.html" /> <fileset dir="${gwt.user.dir}/super" excludes="**/package.html" /> |