1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/cppcheck/check.sh

39 lines
1.0 KiB
Bash
Raw Normal View History

#!/bin/sh
CHECKROOT=$(dirname "${0}")
BRANCH=${1}
FILEREGEX='\.([sScHh]|cpp)$'
# If no branch but an option is given, unset BRANCH.
# Otherwise, consume this parameter.
if echo "${BRANCH}" | grep -q '^-'; then
BRANCH=""
else
shift 1
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
2014-09-06 11:23:32 +02:00
# select either all or only touched-in-branch files, filter through FILEREGEX
if [ -z "${BRANCH}" ]; then
FILES="$(git ls-tree -r --full-tree --name-only HEAD | grep -E ${FILEREGEX})"
else
FILES="$(git diff ${DIFFFILTER} --name-only ${BRANCH} | grep -E ${FILEREGEX})"
fi
if [ -z "${FILES}" ]; then
exit
fi
cppcheck --std=c99 --enable=style --force --error-exitcode=2 --quiet -j 8 \
--inline-suppr --suppressions ${CHECKROOT}/vendor_suppressions.txt \
--template "{file}:{line}: {severity} ({id}): {message}" \
${@} ${FILES}