Skip to content

Commit

Permalink
t5
Browse files Browse the repository at this point in the history
  • Loading branch information
kfessel committed Jan 31, 2023
1 parent f6f327e commit 54fe8ef
Showing 1 changed file with 6 additions and 5 deletions.
11 changes: 6 additions & 5 deletions dist/tools/doccheck/check.sh
Original file line number Diff line number Diff line change
Expand Up @@ -38,11 +38,10 @@ fi
DOXY_OUTPUT=$(make -C "${RIOTBASE}" doc 2>&1 | grep -Evf "${EXCLUDE_PATTERN_FILE}" -f"${GENERIC_EXCLUDE_PATTERN_FILE}")
DOXY_ERRCODE=$?
RESULT=0
echo "${DOXY_OUTPUT}"

if [ "${DOXY_ERRCODE}" -ne 0 ] ; then
echo "'make doc' exited with non-zero code (${DOXY_ERRCODE})"

echo "${DOXY_OUTPUT}"
RESULT=2
else
ERRORS=$(echo "${DOXY_OUTPUT}" | grep '.*warning' | sed "s#${PWD}/\([^:]*\)#\1#g")
Expand All @@ -57,12 +56,14 @@ else
LINENR=$(echo "${error_line}" | cut -d: -f2)
DETAILS=$(echo "${error_line}" | cut -d: -f4- |
sed -e 's/^[ \t]*//' -e 's/[ \t]*$//')
if [ -n ${FILENAME} -a ${LINENR} -a ${DETAILS} ] ; then
# if [ -n ${FILENAME} -a -n ${LINENR} -a -n ${DETAILS} ] ; then
github_annotate_error "${FILENAME}" "${LINENR}" "${DETAILS}"
else
# else
echo "${error_line}"
fi
# fi
done
# also show all other errors
echo "${ERRORS}" | grep -v "^.\+:[0-9]\+: warning:"
else
echo -e "${CERROR}ERROR: Doxygen generates the following warnings:${CRESET}"
echo "${ERRORS}"
Expand Down

0 comments on commit 54fe8ef

Please sign in to comment.