diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-11-12 12:50:44 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-11-21 12:39:14 +0100 |
| commit | 4f156c259f984f4f5a3692364746446294ee102c (patch) | |
| tree | c3586604f2a1ff7edb662a6ef68beacce15739b5 /gnu | |
| parent | e79ecff045094a75226439a6284306475a2f907e (diff) | |
| download | guix-4f156c259f984f4f5a3692364746446294ee102c.tar.gz | |
lint: Add 'patch-headers' checker.
* guix/lint.scm (check-patch-headers): New procedure.
(%local-checkers): Add 'patch-headers' checker.
* tests/lint.scm ("patch headers: no warnings")
("patch headers: missing comment", "patch headers: empty")
("patch headers: patch not found"): New tests.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions