summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHenri Sara <henri.sara@itmill.com>2011-10-03 05:26:48 +0000
committerHenri Sara <henri.sara@itmill.com>2011-10-03 05:26:48 +0000
commit58dff4d49f9453ef4cc267456a590d650933391c (patch)
tree937ea80fd1c7059cae7763e85210e938fc2628f5
parent108135a586097eb0a8823f3ab59d0c26ce46f7c8 (diff)
downloadvaadin-framework-58dff4d49f9453ef4cc267456a590d650933391c.tar.gz
vaadin-framework-58dff4d49f9453ef4cc267456a590d650933391c.zip
Do not exclude themes and DefaultWidgetSet from WAR (minimize external changes, copied from there also in portal integration tests).
svn changeset:21485/svn branch:6.6
-rw-r--r--build/build.xml2
1 files changed, 2 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml
index c17bbe41f2..2d0542e619 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -253,11 +253,13 @@
<fileset dir="${output-dir}/WebContent">
<include name="**/*" />
<!-- In Vaadin JAR -->
+ <!-- Included as copied from WAR in portal integration tests.
<exclude name="VAADIN/themes/base/**/*" />
<exclude name="VAADIN/themes/liferay/**/*" />
<exclude name="VAADIN/themes/reindeer/**/*" />
<exclude name="VAADIN/themes/runo/**/*" />
<exclude name="VAADIN/widgetsets/com.vaadin.terminal.gwt.DefaultWidgetSet/**/*" />
+ -->
</fileset>
</war>
</target>