diff options
author | Ben Gardner <gardner.ben@gmail.com> | 2016-01-20 10:36:15 -0600 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-01-22 19:25:07 +0100 |
commit | 5d7cbc272e3c94dd58e26e3a17ce2805e51f0e09 (patch) | |
tree | 8a08d099a2b5c666633ed03c2a3ac0684b745d10 /util/lint/lint-007-checkpatch | |
parent | e91e70cb92a9a516bfa96d96541133dcde112175 (diff) |
util/get_maintainer.pl: Fix top_of_kernel_tree check
The script checks for a folder called documentation, while the folder
name is Documentation.
Without this change, I get this when running the script:
util/scripts/get_maintainer.pl: The current directory does not appear to be
a coreboot source tree.
Change-Id: Ied7ead7dfec33e9324f06d0ef60dcd6d7ba40104
Signed-off-by: Ben Gardner <gardner.ben@gmail.com>
Reviewed-on: https://review.coreboot.org/13062
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/lint/lint-007-checkpatch')
0 files changed, 0 insertions, 0 deletions