From 00828bb62de836b75480f2a40f3d8075281a61e6 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Wed, 6 Jun 2018 10:30:09 +0200
Subject: [PATCH] dist/tools/doccheck: enable group check in CI
---
dist/tools/doccheck/check.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dist/tools/doccheck/check.sh b/dist/tools/doccheck/check.sh
index 795c8b239f..f7fa7360e3 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
--
GitLab