From 1f9ac7850d7cc992b712fa99fd3d4f92a219f9d8 Mon Sep 17 00:00:00 2001
From: Thomas Mueller <thomas.mueller@tmit.eu>
Date: Fri, 24 May 2013 21:50:34 +0200
Subject: [PATCH] meanwhile phpunit is seq faulting with mysql as well

---
 autotest.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/autotest.sh b/autotest.sh
index 0c59ee51a0..4562b3ed08 100755
--- a/autotest.sh
+++ b/autotest.sh
@@ -130,11 +130,11 @@ EOF
 	rm -rf coverage-html-$1
 	mkdir coverage-html-$1
 	php -f enable_all.php
-	if [ "$1" == "pgsql" ] ; then
-		# no coverage with pg - causes segfault on ci.tmit.eu - reason unknown
-		phpunit --configuration phpunit-autotest.xml --log-junit autotest-results-$1.xml
-	else
+	if [ "$1" == "sqlite" ] ; then
+		# coverage only with sqlite - causes segfault on ci.tmit.eu - reason unknown
 		phpunit --configuration phpunit-autotest.xml --log-junit autotest-results-$1.xml --coverage-clover autotest-clover-$1.xml --coverage-html coverage-html-$1
+	else
+		phpunit --configuration phpunit-autotest.xml --log-junit autotest-results-$1.xml
 	fi
 }