diff options
| author | Henri Sara <henri.sara@itmill.com> | 2011-07-21 08:07:01 +0000 |
|---|---|---|
| committer | Henri Sara <henri.sara@itmill.com> | 2011-07-21 08:07:01 +0000 |
| commit | 592f4d121426c9c04d2bd5c7c51d7903b8c6ce6f (patch) | |
| tree | 6cea98ea2a4c3181ffd9dddf4b6c41890bebfe81 /build/build.xml | |
| parent | b3556779b12e15a6a4e821fe3334187ef5d11a64 (diff) | |
| download | vaadin-framework-592f4d121426c9c04d2bd5c7c51d7903b8c6ce6f.tar.gz vaadin-framework-592f4d121426c9c04d2bd5c7c51d7903b8c6ce6f.zip | |
Do not fail build if removing GWT compiler extra directories fails
svn changeset:19860/svn branch:6.6
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index caf9f56f29..19957b6f4e 100644 --- a/build/build.xml +++ b/build/build.xml @@ -632,7 +632,7 @@ <echo>Removing widgetset temp files</echo> <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"/> + <delete dir="${widgetsets-output-dir}/WEB-INF" includeemptydirs="true" failonerror="false" /> </target> <!-- Note: Probably not needed any longer as all sources need to be compiled. --> |