Vaadin build script: Clean up extra directories created by widgetset compilation...

svn changeset:19856/svn branch:6.6

diff --git a/build/build.xml b/build/build.xml
index dde89ea882e3ce08c71b776730b2c5db510dc891..eb686ddf139b9735b034c0fcb97a3deb093b3f47 100644 (file)
--- 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. -->