aboutsummaryrefslogtreecommitdiff
path: root/Makefile.inc
diff options
context:
space:
mode:
authorMartin Roth <martinroth@google.com>2015-10-13 15:04:17 -0600
committerPatrick Georgi <pgeorgi@google.com>2015-10-17 06:16:40 +0000
commitb6d739d4496d479315b74972ba3787653745e56f (patch)
tree37db2d03eee334a8fdd7784583c0eba9ca3c8132 /Makefile.inc
parente4fc407e3f6f3975e6abe2a7b4b9f907bcba2af5 (diff)
lint: Add junit.xml output for jenkins
To add lint to jenkins testing, we need junit.xml output. This adds an optional --junit command line parameter to enable output to an xml file in the lint directory. Change-Id: I5588190cb050b9dbe99458cb18a71a147769f50e Signed-off-by: Martin Roth <martinroth@google.com> Reviewed-on: http://review.coreboot.org/11891 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions