summaryrefslogtreecommitdiff
path: root/Biz
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2020-09-28 20:30:19 -0400
committerBen Sima <ben@bsima.me>2020-09-28 20:30:19 -0400
commit810cd2a3aad87c53c8b90889576f5833a3e9557c (patch)
treeaa136dda834dcf6aabc957a618cea9a7a07bffb1 /Biz
parentc6b32e05d15c428d37d5bf2ee6b5a7210d4a1dbf (diff)
lint: guard against todos
Diffstat (limited to 'Biz')
-rwxr-xr-xBiz/lint.py8
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: