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 88eb5d2662..7ff81d1f75 100644 --- a/build/build.xml +++ b/build/build.xml @@ -866,11 +866,13 @@ <fileset dir="${result-classes-client}"/> <fileset dir="${result-classes-shared}"/> <fileset dir="${result-classes-sass}"/> + <fileset dir="${result-classes-client-compiler}"/> <!-- add sources --> <fileset dir="${result-src-server}"/> <fileset dir="${result-src-client}"/> <fileset dir="${result-src-shared}"/> <fileset dir="${result-src-sass}"/> + <fileset dir="${result-src-client-compiler}"/> <fileset dir="${output-dir}/WebContent"> <patternset> <include name="VAADIN/widgetsets/com.vaadin.terminal.gwt.DefaultWidgetSet/**/*" /> |