diff options
-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: |