Skip to content
Snippets Groups Projects
Commit 83da4a87 authored by Oleg Hahm's avatar Oleg Hahm
Browse files

travis: added doxygen check script to travis config

parent f97f9ff8
No related branches found
No related tags found
No related merge requests found
...@@ -32,6 +32,7 @@ install: ...@@ -32,6 +32,7 @@ install:
binutils-avr \ binutils-avr \
avr-libc \ avr-libc \
cppcheck \ cppcheck \
doxygen
- git config --global user.email "travis@example.com" - git config --global user.email "travis@example.com"
- git config --global user.name "Travis CI" - git config --global user.name "Travis CI"
...@@ -46,6 +47,8 @@ script: ...@@ -46,6 +47,8 @@ script:
- ./dist/tools/licenses/check.sh master --diff-filter=MR --error-exitcode=0 || exit - ./dist/tools/licenses/check.sh master --diff-filter=MR --error-exitcode=0 || exit
- ./dist/tools/licenses/check.sh master --diff-filter=AC || exit - ./dist/tools/licenses/check.sh master --diff-filter=AC || exit
- ./dist/tools/doccheck/check.sh master || exit
- ./dist/tools/externc/check.sh master || exit - ./dist/tools/externc/check.sh master || exit
# TODO: # TODO:
......
#!/bin/sh #!/bin/sh
TMP1=$(mktemp) # Copyright 2014 Oliver Hahm <oliver.hahm@inria.fr>
TMP2=$(mktemp) #
# This file is subject to the terms and conditions of the GNU Lesser
# General Public License v2.1. See the file LICENSE in the top level
# directory for more details.
TMP_ERR=$(mktemp)
TMP_WARN=$(mktemp)
TMP_DOC=$(mktemp)
ERR_DIFFFILTER="--diff-filter=AC"
WARN_DIFFFILTER="--diff-filter=MR"
# If no branch but an option is given, unset BRANCH. # If no branch but an option is given, unset BRANCH.
# Otherwise, consume this parameter. # Otherwise, consume this parameter.
BRANCH="${1}" BRANCH="${1}"
if echo "${BRANCH}" | grep -q '^-'; then if echo "${BRANCH}" | grep -q '^-'; then
BRANCH="" if [ $(git rev-parse --abbrev-ref HEAD) != "master" ]; then
BRANCH="master"
else
BRANCH=""
fi
else else
if [ -n "${BRANCH}" ]; then if [ -n "${BRANCH}" ]; then
shift 1 shift 1
fi fi
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 # select files to check
if [ -z "${BRANCH}" ]; then if [ -z "${BRANCH}" ]; then
git ls-tree -r --full-tree --name-only HEAD | grep -E '\.([sSch]|cpp)$' | sort | uniq > ${TMP1} git ls-tree -r --full-tree --name-only HEAD | grep -E '\.([sSch]|cpp)$' | sort | uniq > ${TMP_WARN}
else else
git diff ${DIFFFILTER} --name-only ${BRANCH} | grep -E '\.([sSchp]|cpp)$' | sort | uniq > ${TMP1} git diff ${ERR_DIFFFILTER} --name-only $(git merge-base ${BRANCH} HEAD) | grep -E '\.([sSchp]|cpp)$' | sort | uniq > ${TMP_ERR}
git diff ${WARN_DIFFFILTER} --name-only $(git merge-base ${BRANCH} HEAD) | grep -E '\.([sSchp]|cpp)$' | sort | uniq > ${TMP_WARN}
fi fi
make doc 2>&1 | grep warning | grep -E '^\/' | sed "s#${PWD}\/\([^:]*\).*#\1#" | sort | uniq > ${TMP2} make doc 2>&1 | grep '^\/.*warning' | sed "s#${PWD}/\([^:]*\).*#\1#" | sort | uniq > ${TMP_DOC}
WARNINGS=$(comm -1 -2 ${TMP1} ${TMP2}) WARNINGS=$(comm -1 -2 ${TMP_WARN} ${TMP_DOC})
ERRORS=$(comm -1 -2 ${TMP_ERR} ${TMP_DOC})
rm ${TMP_ERR} ${TMP_WARN} ${TMP_DOC} rm ${TMP_ERR} ${TMP_WARN} ${TMP_DOC}
...@@ -42,9 +49,10 @@ echo "WARNING: The following modified files generate doxygen warnings:" ...@@ -42,9 +49,10 @@ echo "WARNING: The following modified files generate doxygen warnings:"
echo "${WARNINGS}" echo "${WARNINGS}"
fi fi
if [ -n "${WARNINGS}" ] if [ -n "${ERRORS}" ]
then then
echo "The following files generate doxygen warnings: ${WARNINGS}" echo "ERROR: The following new files generate doxygen warnings:"
echo "${ERRORS}"
exit 2 exit 2
else else
exit 0 exit 0
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment