diff options
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index dd7635f0a5..5999381f87 100644 --- a/build/build.xml +++ b/build/build.xml @@ -195,12 +195,14 @@ <war warfile="${result-path}/${test-war-filename}"> <fileset dir="${output-dir}/WebContent"> <!-- Already in JAR --> + <!-- Not excluded because used from WAR by portal integration tests <exclude name="VAADIN/themes/base/**/*" /> <exclude name="VAADIN/themes/chameleon/**/*" /> <exclude name="VAADIN/themes/liferay/**/*" /> <exclude name="VAADIN/themes/reindeer/**/*" /> <exclude name="VAADIN/themes/runo/**/*" /> <exclude name="VAADIN/widgetsets/com.vaadin.terminal.gwt.DefaultWidgetSet/**/*" /> + --> <!-- Not needed for testing --> <exclude name="docs/**/*" /> |