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 /src/mainboard | |
| parent | 606ca5153005f2ef7fe32c59c4638c683556e254 (diff) | |
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>
Diffstat (limited to 'src/mainboard')
0 files changed, 0 insertions, 0 deletions