diff options
| author | Tiger Wang <ziwei.tiger@hotmail.co.uk> | 2015-08-22 14:07:34 +0200 |
|---|---|---|
| committer | Tiger Wang <ziwei.tiger@hotmail.co.uk> | 2015-08-22 14:07:34 +0200 |
| commit | f52a769761d56f72b9886080c873eb6f4d28acb7 (patch) | |
| tree | a176dfd7d4418da5896cb73e9625ebe16e2c84e7 /CIbuild.sh | |
| parent | Merge pull request #2443 from mjhanninen/fix-osx-build-due-warnings (diff) | |
| parent | Fixed and improved restarting (diff) | |
| download | cuberite-f52a769761d56f72b9886080c873eb6f4d28acb7.tar cuberite-f52a769761d56f72b9886080c873eb6f4d28acb7.tar.gz cuberite-f52a769761d56f72b9886080c873eb6f4d28acb7.tar.bz2 cuberite-f52a769761d56f72b9886080c873eb6f4d28acb7.tar.lz cuberite-f52a769761d56f72b9886080c873eb6f4d28acb7.tar.xz cuberite-f52a769761d56f72b9886080c873eb6f4d28acb7.tar.zst cuberite-f52a769761d56f72b9886080c873eb6f4d28acb7.zip | |
Diffstat (limited to 'CIbuild.sh')
| -rwxr-xr-x | CIbuild.sh | 5 |
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 |