diff options
| author | Mattes D <github@xoft.cz> | 2016-09-13 09:43:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-13 09:43:02 +0200 |
| commit | ca99e754ea430f500e79c5d929754c7e5946329b (patch) | |
| tree | 5ea029a2a87d445f52ee80ca73c71e4bd37d3a0a /CIbuild.sh | |
| parent | Bindings: Fixed some function signatures comments. (diff) | |
| parent | CIBuild: Mark as failure on duplicate API docs. (diff) | |
| download | cuberite-ca99e754ea430f500e79c5d929754c7e5946329b.tar cuberite-ca99e754ea430f500e79c5d929754c7e5946329b.tar.gz cuberite-ca99e754ea430f500e79c5d929754c7e5946329b.tar.bz2 cuberite-ca99e754ea430f500e79c5d929754c7e5946329b.tar.lz cuberite-ca99e754ea430f500e79c5d929754c7e5946329b.tar.xz cuberite-ca99e754ea430f500e79c5d929754c7e5946329b.tar.zst cuberite-ca99e754ea430f500e79c5d929754c7e5946329b.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 9e2fa7edb..d652f1d36 100755 --- a/CIbuild.sh +++ b/CIbuild.sh @@ -31,4 +31,9 @@ EOF cat ./NewlyUndocumented.lua exit 1 fi + if [ -f ./DuplicateDocs.txt ]; then + echo "ERROR: API documentation has duplicate symbol warnings:" + cat ./DuplicateDocs.txt + exit 1 + fi fi |