1
0

CIBuild: Mark as failure on duplicate API docs.

This commit is contained in:
Mattes D 2016-09-12 23:23:45 +02:00
parent 2622a8622a
commit 96e8e95386

View File

@ -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