3 commits

Author	SHA1	Message	Date
Gilles Peskine	96f3b4ee42	Remove yotta support from check-files.py ... Complements "Remove Yotta support from the docs, tests and build scripts".	2018-10-16 14:10:21 +02:00
Gilles Peskine	95c5575e12	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. Fix #1713 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 13:13:24 +02:00
Darryl Green	10d9ce332f	Add script for source integrity checking	2018-05-21 11:39:49 +01:00