4 commits

Author	SHA1	Message	Date
Jaeden Amero	80a23a5bc4	check-files: Don't check same-named files ... The check-files script contains the strings "TODO" and "todo" in order to search for files that contain TODO items. So, any check-files script would need to be excluded from the list of files that gets checked for "TODO". Normally, the script excludes itself from checks, but with the addition of the crypto submodule, there is another copy of the script present from the project root. We must avoid checking check-files scripts for TODO items. This also helps if you run check-files from another working tree in your working tree.	2018-11-23 13:14:38 +00:00
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