From ca23966b65b81863e5dc42c95b430a3776b207f3 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Leif=20=C3=85strand?= <leif@vaadin.com>
Date: Thu, 3 Nov 2011 09:41:02 +0200
Subject: [PATCH] Don't fail build if test coverage generation is disabled

---
 tests/test.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/test.xml b/tests/test.xml
index f138694c78..cedc3d245c 100644
--- a/tests/test.xml
+++ b/tests/test.xml
@@ -110,7 +110,7 @@
 			<arg value="build/testing/vaadin-server.py" />
 			<arg value="stop" />
 		</exec>
-		<move file="${testing.testarea}/${package.name}/war.ec" todir="../build/result" />
+		<move file="${testing.testarea}/${package.name}/war.ec" todir="../build/result" failonerror="false" />
 	</target>
 
 	<!-- ================================================================== -->
-- 
2.39.5