diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/build/build.xml b/build/build.xml index ee73d898db..b6938224a3 100644 --- a/build/build.xml +++ b/build/build.xml @@ -988,10 +988,11 @@ <mkdir dir="${output-dir}/META-INF"/> <echo file="${output-dir}/META-INF/VERSION">${version}</echo> <echo file="${output-dir}/META-INF/GWT-VERSION">${gwt-version}</echo> - <jar jarfile="${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name}" compress="true"> <metainf dir="${output-dir}/META-INF"/> - + <manifest> + <attribute name="Vaadin-Widgetsets" value="com.vaadin.terminal.gwt.DefaultWidgetSet" /> + </manifest> <fileset dir="${result-path}/classes"> <patternset> <exclude name="${toolkit-package}/demo/**" /> |