diff options
author | Martin Roth <martinroth@google.com> | 2016-08-29 15:49:02 -0600 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2017-08-14 18:05:02 +0000 |
commit | 35bfb9d9be3dcb6c8605a7dbe02da13a349aa995 (patch) | |
tree | 1a346b0eb5c39e4aa77a784cc204c668c061d83f /Makefile.inc | |
parent | de4a1a0909488c89682a9fcada2d98c286e86d5b (diff) |
util/lint: add extended stable checkpatch for testing
The checkpatch script takes a while to run, so don't add it to the
lint-stable checks which run pre-commit.
Change-Id: I907176c21c057564495b75133ba10b0761c9fe7b
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/16360
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Chris Ching <chingcodes@chromium.org>
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions