kaspar/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-26 23:11:19 +01:00
Code Releases Activity

Merge pull request #9819 from jcarrano/doccheck-report-total-failure

Browse Source 
tools/doccheck: Detect when `make doc` fails to run.
This commit is contained in:
Juan I Carrano 2018-11-29 18:37:15 +01:00 committed by GitHub
commit f4e810cfff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
dist/tools/doccheck/check.sh vendored
View File

@ -20,15 +20,20 @@ else
CRESET=
fi
ERRORS=$(make -C "${RIOTBASE}" doc 2>&1 | \
grep '.*warning' | \
sed "s#${PWD}/\([^:]*\)#\1#g")
DOXY_OUTPUT=$(make -C "${RIOTBASE}" doc 2>&1)
DOXY_ERRCODE=$?
if [ -n "${ERRORS}" ]
then
echo -e "${CERROR}ERROR: Doxygen generates the following warnings:${CRESET}"
echo "${ERRORS}"
if [ "${DOXY_ERRCODE}" -ne 0 ] ; then
echo "'make doc' exited with non-zero code (${DOXY_ERRCODE})"
echo "${DOXY_OUTPUT}"
exit 2
else
ERRORS=$(echo "${DOXY_OUTPUT}" | grep '.*warning' | sed "s#${PWD}/\([^:]*\)#\1#g")
if [ -n "${ERRORS}" ] ; then
echo -e "${CERROR}ERROR: Doxygen generates the following warnings:${CRESET}"
echo "${ERRORS}"
exit 2
fi
fi
exclude_filter() {