diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-11-28 16:15:31 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-11-28 16:15:31 +0100 |
| commit | 4e70fe4d0efbb29d47e3d83d36d6c15f92baebb0 (patch) | |
| tree | 480c6ce53186ebd62be100a5f053d70c759f4603 /gnu | |
| parent | f6c9fb1b38732fab867db086b0527b01adb03dce (diff) | |
lint: Do not report already-patched vulnerabilities.
* guix/scripts/lint.scm (patch-file-name): New procedure.
(check-vulnerabilities): Use it to filter out patched vulnerabilities.
* tests/lint.scm ("cve: one patched vulnerability"): New test.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions