From 5cc2a2ca7c1474923dc936af48caa06473e11402 Mon Sep 17 00:00:00 2001
From: Gerhard Lausser <gerhard.lausser@consol.de>
Date: Tue, 1 Feb 2011 21:54:21 +0100
Subject: [PATCH] *Fix the new jenkins-script

---
 test/jenkins/runtests | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/test/jenkins/runtests b/test/jenkins/runtests
index cb0cc87..d9511b0 100755
--- a/test/jenkins/runtests
+++ b/test/jenkins/runtests
@@ -45,6 +45,8 @@ function launch_and_assert {
 	then
 	echo "Error : the test $SCRIPT failed"
 	exit 2
+    else
+	echo "test $SCRIPT succeeded, next one"
     fi
 }
 
@@ -59,4 +61,7 @@ do
 done < $TESTLIST
 
 # Create the coverage file
-test $COVERAGE == "COVERAGE" && coverage xml --omit=/usr/lib
+if test $COVERAGE == "COVERAGE"; then
+  coverage xml --omit=/usr/lib
+fi
+
-- 
2.11.4.GIT