diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2018-05-30 18:43:32 +0200 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2018-06-01 16:25:54 +0000 |
| commit | 4f41336fd8cb99cb871dcff12c82faf06e6ac967 (patch) | |
| tree | 67c6a19e21bd70689b6b5294fcaf6ebff0a64298 /Documentation | |
| parent | e098c8a59346df4c7a17ec7aec04bcf4e3bf1f61 (diff) | |
util/lint: use a more compact output format
It now looks like this:
Check that files have license headers (lint-stable-000-license-headers): success
Check for superfluous whitespace in the tree (lint-stable-003-whitespace): success
Check that C labels begin at start-of-line (lint-stable-004-style-labels): success
Change-Id: I9d1f6adebae5b68a51e89c2833f8713f0ffcb616
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/26703
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions