diff options
author | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2015-05-06 11:51:25 -0700 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-05-08 20:05:02 +0200 |
commit | c5269007c9bdeb3acae945ed39001983367d5c51 (patch) | |
tree | 1de3f09972e9a1372d93c6fb91f99c3d90493bde /.gitignore | |
parent | 69b88bf1276d2cb0309e2fc96df9d33a893138e3 (diff) |
checkpatch: fix tree recognition
With the recent rename of documentation -> Documentation, the
checkpatch.pl script broke. Fix the tree check, and change the
user visible output of "kernel" to coreboot.
Change-Id: I34f538d4436e468b1c91eb36aa2f60a2a3308111
Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-on: http://review.coreboot.org/10125
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions