summaryrefslogtreecommitdiffstats
path: root/CIbuild.sh
diff options
context:
space:
mode:
authorworktycho <work.tycho@gmail.com>2014-05-17 14:04:40 +0200
committerworktycho <work.tycho@gmail.com>2014-05-17 14:04:40 +0200
commit8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7 (patch)
tree2aa7c03899cd226c551f9ba2609f000bc733ce2f /CIbuild.sh
parentAdded some more tests (diff)
downloadcuberite-8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7.tar
cuberite-8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7.tar.gz
cuberite-8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7.tar.bz2
cuberite-8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7.tar.lz
cuberite-8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7.tar.xz
cuberite-8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7.tar.zst
cuberite-8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7.zip
Diffstat (limited to 'CIbuild.sh')
-rwxr-xr-xCIbuild.sh4
1 files changed, 3 insertions, 1 deletions
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