diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-04-10 10:27:26 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-04-10 10:27:46 +0200 |
| commit | b210b35d61e41ab5c3ad923eacc8ecbd58d3edca (patch) | |
| tree | acf6259a6c223f49941c6f909b2a05989b843b92 /gnu/packages/pulseaudio.scm | |
| parent | 56b1b74c903c17b03ef5b0052a1144bb1e55685f (diff) | |
| download | gnu-guix-b210b35d61e41ab5c3ad923eacc8ecbd58d3edca.tar gnu-guix-b210b35d61e41ab5c3ad923eacc8ecbd58d3edca.tar.gz | |
lint: Report patches that cannot be found.
* guix/scripts/lint.scm (check-patch-file-names): Wrap body in 'guard'.
* tests/lint.scm ("patches: not found"): New test.
Diffstat (limited to 'gnu/packages/pulseaudio.scm')
0 files changed, 0 insertions, 0 deletions