diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2017-11-30 23:41:29 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2017-12-10 21:59:07 +0200 |
| commit | f4007b25476dfd97885f358d2dabbd463f6f6017 (patch) | |
| tree | cc50563d23c77d455fc5e03cc7cb8cc0a61c7ac5 /gnu/local.mk | |
| parent | 308b8f79c5267ae442e4a8874cfed80f3c5a8831 (diff) | |
| download | patches-f4007b25476dfd97885f358d2dabbd463f6f6017.tar patches-f4007b25476dfd97885f358d2dabbd463f6f6017.tar.gz | |
lint: 'check-vulnerabilities' also checks package properties.
* guix/scripts/lint.scm (check-vulnerabilities): Also check for CVEs
listed as mitigated in the package properties.
* tests/lint.scm ("cve: known safe from vulnerability"): New test.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions