[coreboot-gerrit] Patch merged into coreboot/master: enable lint-stable build on jenkins

[gerrit at coreboot.org]

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

    enable lint-stable build on jenkins
    
    This will run the lint-stable scripts on jenkins to block a commit with
    obvious and known errors.
    
    It runs in under a second on my system, so shouldn't contribute to any
    real delay on jenkins.
    
    Change-Id: I6ff3468ec29dc4ccd0c115f2c26e26b291c507df
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: http://review.coreboot.org/11892
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


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

-gerrit