From 8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7 Mon Sep 17 00:00:00 2001
From: worktycho <work.tycho@gmail.com>
Date: Sat, 17 May 2014 13:04:40 +0100
Subject: [PATCH] Don't start mcserver up in coverage builds

Starting the server up is not a test.
---
 CIbuild.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CIbuild.sh b/CIbuild.sh
index 20785a488..683c1fc74 100755
--- a/CIbuild.sh
+++ b/CIbuild.sh
@@ -6,4 +6,6 @@ cmake . -DBUILD_TOOLS=1 -DSELF_TEST=1;
 make -j 2;
 make -j 2 test;
 cd MCServer/;
-echo stop | $MCSERVER_PATH;
+if [ "$TRAVIS_MCSERVER_BUILD_TYPE" != "COVERAGE" ]
+	then echo stop | $MCSERVER_PATH;
+fi