[coreboot-gerrit] Patch merged into coreboot/master: lint: Add junit.xml output for jenkins

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit b6d739d4496d479315b74972ba3787653745e56f
Author: Martin Roth <martinroth at google.com>
Date:   Tue Oct 13 15:04:17 2015 -0600

    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 at google.com>
    Reviewed-on: http://review.coreboot.org/11891
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


See http://review.coreboot.org/11891 for details.

-gerrit