From 9b8989da51d55ac3b4664ffcfd07abbb305ee8a9 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Tue, 17 Jun 2025 10:41:19 +0200 Subject: lint: add single-file overall report To quickly understand where the problems found by the linter are, an overall report can be useful, so that just-mr --main lint build -P REPORT immediately shows the problems found in the code. For convenience, also include the patch to be applied to fix formating in the default target. --- lint/TARGETS | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'lint/TARGETS') diff --git a/lint/TARGETS b/lint/TARGETS index b3963739..08598edc 100644 --- a/lint/TARGETS +++ b/lint/TARGETS @@ -1,4 +1,10 @@ { "": + { "type": "install" + , "tainted": ["lint", "test"] + , "deps": ["LINT"] + , "files": {"REPORT": "lint-report", "format.diff": "format.diff"} + } +, "LINT": { "type": "install" , "tainted": ["lint", "test"] , "dirs": @@ -92,4 +98,11 @@ , ["@", "tests", "", "ALL"] ] } +, "lint-report": + { "type": "generic" + , "tainted": ["lint", "test"] + , "cmds": ["./combined-report.py"] + , "outs": ["report"] + , "deps": ["LINT", "combined-report.py"] + } } -- cgit v1.2.3