diff options
Diffstat (limited to '')
| -rwxr-xr-x | CIbuild.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/CIbuild.sh b/CIbuild.sh index 60fed73c2..2cfc4f887 100755 --- a/CIbuild.sh +++ b/CIbuild.sh @@ -17,6 +17,7 @@ echo "Building..." make -j 2; make -j 2 test ARGS="-V"; cd MCServer/; -if [ "$TRAVIS_MCSERVER_BUILD_TYPE" != "COVERAGE" ] - then echo stop | $MCSERVER_PATH; +if [ "$TRAVIS_MCSERVER_BUILD_TYPE" != "COVERAGE" ]; then + echo restart | $MCSERVER_PATH; + echo stop | $MCSERVER_PATH; fi |