From e2ff612d1ba5f79dbee29bbe3d62679ce21dd089 Mon Sep 17 00:00:00 2001
From: Henri Sara <henri.sara@itmill.com>
Date: Wed, 20 Jul 2011 10:18:59 +0000
Subject: Vaadin build script: Clean up extra directories created by widgetset
 compilation (GWT 2.3 and later)

svn changeset:19856/svn branch:6.6
---
 build/build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'build/build.xml')

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. -->
-- 
cgit v1.2.3