diff options
author | Leif Åstrand <leif@vaadin.com> | 2011-10-27 07:43:39 +0000 |
---|---|---|
committer | Leif Åstrand <leif@vaadin.com> | 2011-10-27 07:43:39 +0000 |
commit | b95d72bb1ffbeda43f36445571ceb02c73ad8e49 (patch) | |
tree | 59971d382c7d5b949bac631ba58b441322ccda19 | |
parent | b5b298d7137116fdfe6aabc4f6e36d17fcb753d4 (diff) | |
download | vaadin-framework-b95d72bb1ffbeda43f36445571ceb02c73ad8e49.tar.gz vaadin-framework-b95d72bb1ffbeda43f36445571ceb02c73ad8e49.zip |
Don't fail if unable to clean up the deploy dir (should be taken care of by rm -rf run by cleanup.sh)
svn changeset:21811/svn branch:6.7
-rw-r--r-- | build/GWT-VERSION.properties | 2 | ||||
-rw-r--r-- | build/VERSION.properties | 1 | ||||
-rw-r--r-- | tests/integration_base_files/base.xml | 2 |
3 files changed, 1 insertions, 4 deletions
diff --git a/build/GWT-VERSION.properties b/build/GWT-VERSION.properties deleted file mode 100644 index 420c381f13..0000000000 --- a/build/GWT-VERSION.properties +++ /dev/null @@ -1,2 +0,0 @@ -gwt-version=2.3.0 -gwt-version-dependencies=validation-api-1.0.0.GA.jar, validation-api-1.0.0.GA-sources.jar diff --git a/build/VERSION.properties b/build/VERSION.properties deleted file mode 100644 index e788362ced..0000000000 --- a/build/VERSION.properties +++ /dev/null @@ -1 +0,0 @@ -version=6.7.2
\ No newline at end of file diff --git a/tests/integration_base_files/base.xml b/tests/integration_base_files/base.xml index c27f3589b3..995c3b5bbf 100644 --- a/tests/integration_base_files/base.xml +++ b/tests/integration_base_files/base.xml @@ -101,7 +101,7 @@ </target> <target name="clean"> - <delete dir="${deployDir}" /> + <delete dir="${deployDir}" failonerror="false" /> </target> <target name="release-lock"> |