summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMartin Roth <martin@coreboot.org>2020-10-25 19:02:15 -0600
committerPatrick Georgi <pgeorgi@google.com>2020-10-27 10:10:56 +0000
commit93122a7e777890d4f28c1477bef60db98c65c26e (patch)
tree8f1070a7fc44d25e59fed59d2b181e918c8a0dc6 /src
parentb0432778661eb32a85f5f67aaef8d94aa9516114 (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