ci: handle documentation errors in ci

Path change of the warning file let a few errors slipe by..

Fixes #9098

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2018-07-24 17:14:29 -05:00
parent 98775f34c3
commit 448cd0c0ce

View file

@ -47,9 +47,9 @@ build:
echo "Documentation build failed";
exit 1;
fi
if [ -s doc/doc.warnings ]; then
if [ -s doc/_build/doc.warnings ]; then
echo " => New documentation warnings/errors";
cp doc/doc.warnings doc.warnings
cp doc/_build/doc.warnings doc.warnings
fi;
echo "- Verify commit message, coding style, doc build";
./scripts/ci/check-compliance.py --commits ${COMMIT_RANGE} || true;