diff --git a/dist/tools/doccheck/check.sh b/dist/tools/doccheck/check.sh index 795c8b239fae77e39a5b7f1e587e48a904d31704..f7fa7360e346b250f7b750231b55b36380a1ce61 100755 --- a/dist/tools/doccheck/check.sh +++ b/dist/tools/doccheck/check.sh @@ -64,7 +64,8 @@ UNDEFINED_GROUPS_PRINT=$( \ if [ -n "${UNDEFINED_GROUPS}" ] then COUNT=$(echo "${UNDEFINED_GROUPS}" | wc -l) - echo -ne "${CWARN}WARNING${CRESET} " + echo -ne "${CERROR}ERROR${CRESET} " echo -e "There are ${CWARN}${COUNT}${CRESET} undefined Doxygen groups:" echo "${UNDEFINED_GROUPS_PRINT}" + exit 2 fi