diff options
| author | Maxime Devos <maximedevos@telenet.be> | 2022-03-04 13:00:56 +0000 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-03-11 23:34:47 -0500 |
| commit | 88e44f7e1615579cee27a08bcde31248e65c1178 (patch) | |
| tree | b711424114a58fba72a84037d3f0422ce841a2e1 /gnu/packages/lean.scm | |
| parent | b769fe7f75615a1ff9f90fd2b702933a1324a42b (diff) | |
| download | guix-patches-88e44f7e1615579cee27a08bcde31248e65c1178.tar guix-patches-88e44f7e1615579cee27a08bcde31248e65c1178.tar.gz | |
lint: check-tests-true: Allow #:tests? #t for some build systems.
emacs-build-system sets #:tests? #f by default, so the linter shouldn't warn
if #:tests? #t is set for packages using emacs-build-system. Likewise for
texlive-build-system.
* guix/lint.scm (check-tests-true): Do not warn if the build system
is emacs-build-system or texlive-build-system.
* tests/lint.scm
("tests-true: #:tests? #t acceptable for emacs packages")
("tests-true: #:tests? #t acceptable for texlive packages"): New tests.
Fixes: <https://issues.guix.gnu.org/50299>
Reported-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions