Gilles Peskine c426352ec5 check-files: exclude .git and third-party files ...

Exclude ".git" directories anywhere. This avoids spurious errors in git
checkouts that contain branch names that look like a file
check-files.py would check.

Exclude "mbed-os" anywhere and "examples" from the root. Switch to the
new mechanism to exclude "yotta/module". These are directories where
we store third-party files that do not need to match our preferences.

Exclude "cov-int" from the root. Fix #1691

2018-10-02 19:01:16 +02:00

7.3 KiB

Executable File

Raw Blame History

View Raw