diff options
author | worktycho <work.tycho@gmail.com> | 2014-05-17 14:04:40 +0200 |
---|---|---|
committer | worktycho <work.tycho@gmail.com> | 2014-05-17 14:04:40 +0200 |
commit | 8bb8c2ca7ded71f57ec83ebc8a5214d01ae0b9b7 (patch) | |
tree | 2aa7c03899cd226c551f9ba2609f000bc733ce2f /CIbuild.sh | |
parent | Added some more tests (diff) | |
download | cuberite-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 '')
-rwxr-xr-x | CIbuild.sh | 4 |
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 |