summaryrefslogtreecommitdiffstats
path: root/CIbuild.sh
diff options
context:
space:
mode:
authorMattes D <github@xoft.cz>2015-09-27 14:23:45 +0200
committerMattes D <github@xoft.cz>2015-09-27 14:23:45 +0200
commit24026b9eee87162bff04d06107ff0b84e6580596 (patch)
treec5d9d20cbdc031114639a358096655550de04cfb /CIbuild.sh
parentMerge pull request #2500 from cuberite/FileApiExtend (diff)
parentCI builds fail on newly undocumented API. (diff)
downloadcuberite-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 'CIbuild.sh')
-rwxr-xr-xCIbuild.sh15
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