diff options
| author | Henri Sara <henri.sara@itmill.com> | 2011-07-20 10:18:59 +0000 |
|---|---|---|
| committer | Henri Sara <henri.sara@itmill.com> | 2011-07-20 10:18:59 +0000 |
| commit | e2ff612d1ba5f79dbee29bbe3d62679ce21dd089 (patch) | |
| tree | 34ab1203498275934cae9a6b0c95ea5896430d72 /build | |
| parent | cb2abbf1d6d7da3bfdc0671af6b68c6f2867d16d (diff) | |
| download | vaadin-framework-e2ff612d1ba5f79dbee29bbe3d62679ce21dd089.tar.gz vaadin-framework-e2ff612d1ba5f79dbee29bbe3d62679ce21dd089.zip | |
Vaadin build script: Clean up extra directories created by widgetset compilation (GWT 2.3 and later)
svn changeset:19856/svn branch:6.6
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index dde89ea882..eb686ddf13 100644 --- a/build/build.xml +++ b/build/build.xml @@ -630,7 +630,9 @@ <target name="remove-widgetset-gwt-tmp"> <echo>Removing widgetset temp files</echo> - <delete dir="${output-dir}/WebContent/VAADIN/widgetsets/.gwt-tmp" includeemptydirs="true"/> + <delete dir="${widgetsets-output-dir}/.gwt-tmp" includeemptydirs="true"/> + <!-- This is generated by GWT 2.3+ for rpcPolicyManifest and symbolMaps, cannot disable --> + <delete dir="${widgetsets-output-dir}/WEB-INF" includeemptydirs="true"/> </target> <!-- Note: Probably not needed any longer as all sources need to be compiled. --> |