Patrick Georgi
4f41336fd8
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>
2018-06-01 16:25:54 +00:00
..
2018-05-17 12:06:33 +00:00
2015-10-31 21:37:39 +01:00
2018-02-22 09:59:40 +00:00
2017-06-07 12:04:50 +02:00
2016-03-08 17:40:05 +01:00
2014-12-19 18:55:34 +01:00
2018-04-29 16:46:04 +00:00
2016-03-11 18:48:06 +01:00
2018-01-23 05:21:48 +00:00
2018-05-03 15:07:34 +00:00
2018-02-10 23:49:58 +00:00
2018-05-22 02:38:35 +00:00
2018-05-18 20:13:47 +00:00
2016-08-03 18:01:32 +02:00
2016-07-30 19:34:20 +02:00
2018-05-24 19:02:43 +00:00
2018-05-30 17:15:25 +00:00
2016-01-26 00:25:19 +01:00
2018-04-19 16:30:23 +00:00
2016-01-26 00:25:19 +01:00
2017-03-29 05:16:49 +02:00
2015-10-31 21:37:39 +01:00
2018-01-23 05:33:02 +00:00
2014-08-12 09:02:44 +02:00
2018-05-30 17:12:00 +00:00
2016-12-15 23:47:09 +01:00
2018-05-04 01:15:52 +00:00
2018-05-23 08:31:45 +00:00
2018-03-27 15:42:14 +00:00
2016-07-31 19:23:29 +02:00
2018-01-23 05:17:44 +00:00
2017-10-29 08:48:56 +00:00
2017-08-18 15:32:08 +00:00
2016-12-12 17:53:32 +01:00
2018-06-01 16:25:54 +00:00
2016-02-11 14:16:08 +01:00
2018-04-06 06:54:14 +00:00
2017-04-24 19:11:34 +02:00
2018-05-15 11:14:10 +00:00
2016-01-26 00:25:19 +01:00
2017-04-24 19:19:39 +02:00
2018-05-04 10:30:24 +00:00
2017-06-27 18:26:01 +00:00
2016-02-26 07:00:33 +01:00
2018-04-27 09:21:11 +00:00
2018-05-05 15:24:45 +00:00
2018-04-26 11:52:37 +00:00
2016-03-16 15:24:10 +01:00
2017-09-27 16:38:18 +00:00
2018-05-11 08:59:51 +00:00
2018-04-16 22:25:31 +00:00
2018-01-25 16:50:17 +00:00
2015-10-31 21:37:39 +01:00
2018-04-17 10:38:06 +00:00
2018-05-22 07:25:54 +00:00
2015-10-31 21:37:39 +01:00
2017-07-21 15:45:41 +00:00
2017-06-07 12:04:50 +02:00
2018-04-27 03:25:28 +00:00
2018-05-09 10:00:32 +00:00