diff options
| -rw-r--r-- | build/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index 1df992cedd..f7d910e4b0 100644 --- a/build/build.xml +++ b/build/build.xml @@ -140,6 +140,7 @@ <include name="*.png" /> </fileset> </delete> + <delete failonerror="false" dir="WebContent/VAADIN/gwt-unitCache" /> </target> <!-- ================================================================== --> |