diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-07-03 21:18:07 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-07-03 23:53:31 +0200 |
commit | 37c3e0bbaf2efe137b434f866ca431803d33e0a9 (patch) | |
tree | d74dd90b81c7e2454ff81615f367d8c320048cfc /guix/gnu-maintenance.scm | |
parent | c11b95af7f5c2c77478353a808ce47627969a779 (diff) |
lint: Do not assume that a package's source is an origin.
* guix/lint.scm (check-source-file-name): Ensure ORIGIN is an origin.
(check-patch-file-names)[patches]: Likewise.
(check-source): Likewise.
Diffstat (limited to 'guix/gnu-maintenance.scm')
0 files changed, 0 insertions, 0 deletions