diff options
| author | Mattes D <github@xoft.cz> | 2015-09-27 14:23:45 +0200 |
|---|---|---|
| committer | Mattes D <github@xoft.cz> | 2015-09-27 14:23:45 +0200 |
| commit | 24026b9eee87162bff04d06107ff0b84e6580596 (patch) | |
| tree | c5d9d20cbdc031114639a358096655550de04cfb /CIbuild.sh | |
| parent | Merge pull request #2500 from cuberite/FileApiExtend (diff) | |
| parent | CI builds fail on newly undocumented API. (diff) | |
| download | cuberite-24026b9eee87162bff04d06107ff0b84e6580596.tar cuberite-24026b9eee87162bff04d06107ff0b84e6580596.tar.gz cuberite-24026b9eee87162bff04d06107ff0b84e6580596.tar.bz2 cuberite-24026b9eee87162bff04d06107ff0b84e6580596.tar.lz cuberite-24026b9eee87162bff04d06107ff0b84e6580596.tar.xz cuberite-24026b9eee87162bff04d06107ff0b84e6580596.tar.zst cuberite-24026b9eee87162bff04d06107ff0b84e6580596.zip | |
Diffstat (limited to '')
| -rwxr-xr-x | CIbuild.sh | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/CIbuild.sh b/CIbuild.sh index 8a91549ad..a6a4282a7 100755 --- a/CIbuild.sh +++ b/CIbuild.sh @@ -21,8 +21,19 @@ cd .. echo "Building..." make -j 2; make -j 2 test ARGS="-V"; + +echo "Testing..." cd Server/; if [ "$TRAVIS_CUBERITE_BUILD_TYPE" != "COVERAGE" ]; then - echo restart | $CUBERITE_PATH; - echo stop | $CUBERITE_PATH; + $CUBERITE_PATH << EOF +load APIDump +apicheck +restart +stop +EOF + if [ -f ./NewlyUndocumented.lua ]; then + echo "ERROR: Newly undocumented API symbols found:" + cat ./NewlyUndocumented.lua + exit 1 + fi fi |