diff --git a/dist/tools/externc/check.sh b/dist/tools/externc/check.sh index f495e5d576b53e1040b43a892767375b1db29fcb..9d9cff9348849af206af593987f8402b04872319 100755 --- a/dist/tools/externc/check.sh +++ b/dist/tools/externc/check.sh @@ -28,7 +28,7 @@ else FILES="$(git diff --diff-filter=${DIFFFILTER} --name-only ${BRANCH} | grep -E '\.h$')" fi -FILES=$(echo "${FILES}" | grep -v -E '^(dist/tools|boards/msba2-common/tools/|cpu/saml21/include/atmel/)') +FILES=$(echo "${FILES}" | grep -v -E '^(dist/tools|boards/msba2-common/tools/|cpu/saml21/include/atmel/|cpu/sam21_common/include/cmsis/)') # check files for FILE in ${FILES}; do