diff options
| -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. --> |