diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/check_code_style.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/check_code_style.sh b/Tools/check_code_style.sh index df6afced4..387aab92b 100755 --- a/Tools/check_code_style.sh +++ b/Tools/check_code_style.sh @@ -2,6 +2,7 @@ set -eu failed=0 for fn in $(find . -path './src/lib/uavcan' -prune -o \ + -path './src/lib/mathlib/CMSIS' -prune -o \ -path './NuttX' -prune -o \ -path './Build' -prune -o \ -path './mavlink' -prune -o \ |