summaryrefslogtreecommitdiffstats
path: root/CIbuild.sh
diff options
context:
space:
mode:
Diffstat (limited to 'CIbuild.sh')
-rwxr-xr-xCIbuild.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/CIbuild.sh b/CIbuild.sh
index 100a64b0c..f1a583c79 100755
--- a/CIbuild.sh
+++ b/CIbuild.sh
@@ -22,6 +22,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