diff options
author | Ben Sima <ben@bsima.me> | 2020-09-28 20:30:19 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2020-09-28 20:30:19 -0400 |
commit | 810cd2a3aad87c53c8b90889576f5833a3e9557c (patch) | |
tree | aa136dda834dcf6aabc957a618cea9a7a07bffb1 | |
parent | c6b32e05d15c428d37d5bf2ee6b5a7210d4a1dbf (diff) |
lint: guard against todos
-rwxr-xr-x | Biz/lint.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Biz/lint.py b/Biz/lint.py index 4d760d2..fccda57 100755 --- a/Biz/lint.py +++ b/Biz/lint.py @@ -68,6 +68,14 @@ def group_files(files, extensions): return ret +def guard_todos(files): + for fname in files: + with open(fname) as text: + if "TODO" in text.read(): + ERRORS += 1 + print("found todo:", fname) + + if __name__ == "__main__": ERRORS = 0 if "-h" in sys.argv: |