diff options
| author | Mattes D <github@xoft.cz> | 2016-10-25 18:49:42 +0200 |
|---|---|---|
| committer | Mattes D <github@xoft.cz> | 2016-10-25 18:49:58 +0200 |
| commit | 5552feafca3cd3d39a20074dbd0b85f0220f0140 (patch) | |
| tree | 925e6808077ae1d32fe3017601274f2823e56d18 /CIbuild.sh | |
| parent | Merge pull request #3410 from cuberite/message_json (diff) | |
| download | cuberite-5552feafca3cd3d39a20074dbd0b85f0220f0140.tar cuberite-5552feafca3cd3d39a20074dbd0b85f0220f0140.tar.gz cuberite-5552feafca3cd3d39a20074dbd0b85f0220f0140.tar.bz2 cuberite-5552feafca3cd3d39a20074dbd0b85f0220f0140.tar.lz cuberite-5552feafca3cd3d39a20074dbd0b85f0220f0140.tar.xz cuberite-5552feafca3cd3d39a20074dbd0b85f0220f0140.tar.zst cuberite-5552feafca3cd3d39a20074dbd0b85f0220f0140.zip | |
Diffstat (limited to 'CIbuild.sh')
| -rwxr-xr-x | CIbuild.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/CIbuild.sh b/CIbuild.sh index d652f1d36..93c238b4c 100755 --- a/CIbuild.sh +++ b/CIbuild.sh @@ -19,6 +19,7 @@ make -j 2 test ARGS="-V"; echo "Testing..." cd Server/; +touch apiCheckFailed.flag if [ "$TRAVIS_CUBERITE_BUILD_TYPE" != "COVERAGE" ]; then $CUBERITE_PATH << EOF load APIDump @@ -36,4 +37,8 @@ EOF cat ./DuplicateDocs.txt exit 1 fi + if [ -f ./apiCheckFailed.flag ]; then + echo "ERROR: API check has failed with an unknown error" + exit 1 + fi fi |