1 files changed, 13 insertions, 0 deletions
diff --git a/lint/TARGETS b/lint/TARGETS
index b3963739..08598edc 100644
--- a/lint/TARGETS
+++ b/lint/TARGETS
@@ -1,6 +1,12 @@
 { "":
   { "type": "install"
   , "tainted": ["lint", "test"]
+  , "deps": ["LINT"]
+  , "files": {"REPORT": "lint-report", "format.diff": "format.diff"}
+  }
+, "LINT":
+  { "type": "install"
+  , "tainted": ["lint", "test"]
   , "dirs":
     [ ["LINT: clang-tidy", "clang-tidy"]
     , ["LINT: clang-format", "clang-format"]
@@ -92,4 +98,11 @@
     , ["@", "tests", "", "ALL"]
     ]
   }
+, "lint-report":
+  { "type": "generic"
+  , "tainted": ["lint", "test"]
+  , "cmds": ["./combined-report.py"]
+  , "outs": ["report"]
+  , "deps": ["LINT", "combined-report.py"]
+  }
 }