Martin Roth
ea383676cf
Makefile.inc: lint: Update to run lint-extended scripts
...
- Add lint-extended as a valid option
- Call lint-extend from what-jenkins-does and test-lint
- When logging to a junit.xml file, name the file extended-junit.xml
so it doesn't conflict with the stable junit.xml file.
Change-Id: I7e4156844b8c60790e03a0e43564610bb0c8f386
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/16362
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Chris Ching <chingcodes@chromium.org>
2017-08-14 18:05:41 +00:00
..
2017-07-31 20:52:07 +00:00
2015-10-31 21:37:39 +01:00
2017-04-27 23:27:06 +02: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
2017-07-31 15:00:43 +00:00
2016-03-11 18:48:06 +01:00
2017-06-27 16:06:53 +00:00
2017-06-07 12:04:50 +02:00
2016-12-16 18:22:43 +01:00
2017-08-11 18:54:23 +00:00
2017-08-11 18:54:23 +00:00
2016-08-03 18:01:32 +02:00
2016-07-30 19:34:20 +02:00
2017-08-07 21:47:23 +00:00
2017-06-07 12:04:50 +02:00
2016-01-26 00:25:19 +01:00
2017-04-25 18:46:04 +02: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
2016-03-14 23:37:12 +01:00
2014-08-12 09:02:44 +02:00
2017-07-29 21:36:38 +00:00
2017-06-27 18:26:01 +00:00
2016-12-15 23:47:09 +01:00
2017-06-02 01:58:20 +02:00
2017-06-07 12:04:50 +02:00
2017-07-28 16:21:40 +00:00
2016-07-31 19:23:29 +02:00
2016-05-09 09:36:27 +02:00
2015-10-31 21:37:39 +01:00
2017-08-03 18:54:41 +00:00
2016-12-12 17:53:32 +01:00
2017-08-14 18:05:41 +00:00
2016-02-11 14:16:08 +01:00
2017-03-02 22:04:08 +01:00
2017-04-24 19:11:34 +02:00
2017-06-09 16:32:54 +02:00
2016-01-26 00:25:19 +01:00
2017-04-24 19:19:39 +02:00
2017-06-27 18:26:01 +00:00
2017-06-27 18:26:01 +00:00
2016-02-26 07:00:33 +01:00
2017-05-16 10:54:06 +02:00
2016-10-15 00:34:27 +02:00
2016-03-16 15:24:10 +01:00
2017-02-10 18:01:52 +01:00
2017-04-25 18:14:38 +02:00
2017-08-04 15:33:03 +00:00
2015-10-31 21:37:39 +01:00
2015-10-31 21:37:39 +01:00
2017-06-28 00:49:32 +00:00
2017-08-14 18:05:41 +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
2017-06-27 23:54:03 +00:00