mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-22 04:53:50 +01:00
Merge pull request #2080 from dangnhat/removed_AC_in_externc_check
CI: Extended extern C check
This commit is contained in:
commit
85819aa24d
@ -46,10 +46,7 @@ script:
|
||||
- ./dist/tools/licenses/check.sh master --diff-filter=MR --error-exitcode=0 || exit
|
||||
- ./dist/tools/licenses/check.sh master --diff-filter=AC || exit
|
||||
|
||||
# TODO:
|
||||
# Remove the `AC` argument when all headers have been
|
||||
# taken care of in master.
|
||||
- ./dist/tools/externc/check.sh master AC || exit
|
||||
- ./dist/tools/externc/check.sh master || exit
|
||||
|
||||
# TODO:
|
||||
# Remove all but `master` parameters to cppcheck (and remove second
|
||||
|
||||
4
dist/tools/externc/check.sh
vendored
4
dist/tools/externc/check.sh
vendored
@ -21,9 +21,11 @@ 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/)')
|
||||
|
||||
# check files
|
||||
for FILE in ${FILES}; do
|
||||
if head -100 "${ROOT}/${FILE}" \
|
||||
if cat "${ROOT}/${FILE}" \
|
||||
| sed -e 's/$/ /' \
|
||||
| tr -d '\r\n' \
|
||||
| sed -e 's/ */ /g' \
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user