1 files changed, 8 insertions, 0 deletions
diff --git a/Biz/Lint.py b/Biz/Lint.py
index fc035cb..c3e51df 100755
--- a/Biz/Lint.py
+++ b/Biz/Lint.py
@@ -89,12 +89,20 @@ if __name__ == "__main__":
     else:
         FILES = group_files(sys.argv[1:], [".hs", ".py"])
     for hs in FILES[".hs"]:
+        if not os.path.exists(hs):
+            print("lint: does not exist:", hs)
+            continue
         print(f"lint: {hs}")
         run("ormolu", hs)
         run("hlint", hs)
     for py in FILES[".py"]:
+        if not os.path.exists(py):
+            print("lint: does not exist:", py)
+            continue
         print(f"lint: {py}")
         # Broken in our nixpkgs
         # run("black", py)
         run("pylint", py)
+    if ERRORS:
+        print("lint: errors:", ERRORS)
     sys.exit(ERRORS)