[coreboot-gerrit] New patch to review for coreboot: enable lint-stable build on jenkins

[Martin Roth (martinroth@google.com)]

Martin Roth (martinroth at google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/11892

-gerrit

commit d8fb5d20191421fa51cb5faaae131379cd2941a0
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>
---
 Makefile.inc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile.inc b/Makefile.inc
index f7916cd..806a33a 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -685,3 +685,5 @@ what-jenkins-does:
 	util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c $(CPUS) -z -p $(JENKINS_PAYLOAD)
 	(cd payloads/libpayload; unset COREBOOT_BUILD_DIR; $(MAKE) $(if $(JENKINS_NOCCACHE),,CONFIG_LP_CCACHE=y) V=$(V) Q=$(Q) junit.xml)
 	$(MAKE) V=$(V) Q=$(Q) -C util/cbmem junit.xml
+	util/lint/lint_cb lint-stable --junit
+