From f97f9ff8265e775fddc07f67174b72b32cd1813f Mon Sep 17 00:00:00 2001
From: Oleg Hahm <oleg@hobbykeller.org>
Date: Fri, 28 Nov 2014 02:09:42 +0100
Subject: [PATCH] travis: check for doxygen warnings
This introduces a script that will check for doxygen warnings in newly
committed or edited files.
---
dist/tools/doccheck/check.sh | 51 ++++++++++++++++++++++++++++++++++++
1 file changed, 51 insertions(+)
create mode 100755 dist/tools/doccheck/check.sh
diff --git a/dist/tools/doccheck/check.sh b/dist/tools/doccheck/check.sh
new file mode 100755
index 0000000000..28657e7b9d
--- /dev/null
+++ b/dist/tools/doccheck/check.sh
@@ -0,0 +1,51 @@
+#!/bin/sh
+
+TMP1=$(mktemp)
+TMP2=$(mktemp)
+
+# If no branch but an option is given, unset BRANCH.
+# Otherwise, consume this parameter.
+BRANCH="${1}"
+if echo "${BRANCH}" | grep -q '^-'; then
+ BRANCH=""
+else
+ if [ -n "${BRANCH}" ]; then
+ shift 1
+ fi
+fi
+
+# If the --diff-filter option is given, consume this parameter.
+# Set the default DIFFFILTER option otherwise.
+DIFFFILTER="${1}"
+if echo "${DIFFFILTER}" | grep -q '^--diff-filter='; then
+ shift 1
+else
+ DIFFFILTER="--diff-filter=ACMR"
+fi
+
+# select files to check
+if [ -z "${BRANCH}" ]; then
+ git ls-tree -r --full-tree --name-only HEAD | grep -E '\.([sSch]|cpp)$' | sort | uniq > ${TMP1}
+else
+ git diff ${DIFFFILTER} --name-only ${BRANCH} | grep -E '\.([sSchp]|cpp)$' | sort | uniq > ${TMP1}
+fi
+
+make doc 2>&1 | grep warning | grep -E '^\/' | sed "s#${PWD}\/\([^:]*\).*#\1#" | sort | uniq > ${TMP2}
+
+WARNINGS=$(comm -1 -2 ${TMP1} ${TMP2})
+
+rm ${TMP_ERR} ${TMP_WARN} ${TMP_DOC}
+
+if [ -n "${WARNINGS}" ]
+then
+echo "WARNING: The following modified files generate doxygen warnings:"
+echo "${WARNINGS}"
+fi
+
+if [ -n "${WARNINGS}" ]
+then
+ echo "The following files generate doxygen warnings: ${WARNINGS}"
+ exit 2
+else
+ exit 0
+fi
--
GitLab