summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xCIbuild.sh5
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