Ignore OWNERS files in hack/verify-api-reference-docs.sh

pull/6/head
Tim Allclair 2017-10-18 11:15:08 -07:00
parent 570c17a3b8
commit 562b7e5f85
No known key found for this signature in database
GPG Key ID: 434D16BCEF479EAB
1 changed files with 1 additions and 1 deletions

View File

@ -36,7 +36,7 @@ trap "rm -rf ${TMP_ROOT}" EXIT SIGINT
echo "diffing ${API_REFERENCE_DOCS_ROOT} against freshly generated docs"
ret=0
diff -NauprB -I 'Last update' --exclude=*.md "${API_REFERENCE_DOCS_ROOT}" "${OUTPUT_DIR}" || ret=$?
diff -NauprB -I 'Last update' --exclude=*.md --exclude=OWNERS "${API_REFERENCE_DOCS_ROOT}" "${OUTPUT_DIR}" || ret=$?
if [[ $ret -eq 0 ]]
then
echo "${API_REFERENCE_DOCS_ROOT} up to date."