diff options
Diffstat (limited to '')
| -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 |