diff options
| author | Martin Roth <martinroth@google.com> | 2015-10-13 15:08:01 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-10-17 06:16:56 +0000 |
| commit | 8d226f2dbfe010fda3aac9734411a0342c560fbb (patch) | |
| tree | fbc478da29406562d82ce80c43b4b6ca031e7669 | |
| parent | 606ca5153005f2ef7fe32c59c4638c683556e254 (diff) | |
| download | coreboot-8d226f2dbfe010fda3aac9734411a0342c560fbb.tar.xz | |
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@google.com>
Reviewed-on: http://review.coreboot.org/11892
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
| -rw-r--r-- | Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.inc b/Makefile.inc index 1c81c69347..38b2d40f57 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -684,6 +684,7 @@ $(obj)/board_id: JENKINS_PAYLOAD?=none CPUS?=4 what-jenkins-does: + util/lint/lint lint-stable --junit util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c $(CPUS) -z -p $(JENKINS_PAYLOAD) -x -X $(top)/abuild-chromeos.xml 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) |