summaryrefslogtreecommitdiffstats
path: root/CIbuild.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xCIbuild.sh5
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