diff options
author | Martin Roth <martin@coreboot.org> | 2020-10-25 19:02:15 -0600 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-10-27 10:10:56 +0000 |
commit | 93122a7e777890d4f28c1477bef60db98c65c26e (patch) | |
tree | 8f1070a7fc44d25e59fed59d2b181e918c8a0dc6 /src | |
parent | b0432778661eb32a85f5f67aaef8d94aa9516114 (diff) |
util/testing: Allow what-jenkins-does to skip lint testing
The linters touch every file under src and probably util. This makes
it difficult to see what files have been accessed by the builder.
The JENKINS_SKIP_LINT_TESTS variable will only be set on the jenkins
build that looks for unused files.
Signed-off-by: Martin Roth <martin@coreboot.org>
Change-Id: I12fa31641c2a72c5e07be1c4958467f7165f21bb
Reviewed-on: https://review.coreboot.org/c/coreboot/+/46807
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions