[coreboot-gerrit] New patch to review for coreboot: util/get_maintainer.pl: Fix top_of_kernel_tree check

[Ben Gardner (gardner.ben@gmail.com)]

Ben Gardner (gardner.ben at gmail.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/13062

-gerrit

commit a4dff8bb110007523297b9dbb62b9c56e73208d9
Author: Ben Gardner <gardner.ben at gmail.com>
Date:   Wed Jan 20 10:36:15 2016 -0600

    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 at gmail.com>
---
 util/scripts/get_maintainer.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/scripts/get_maintainer.pl b/util/scripts/get_maintainer.pl
index 51e6275..19a7725 100755
--- a/util/scripts/get_maintainer.pl
+++ b/util/scripts/get_maintainer.pl
@@ -823,7 +823,7 @@ sub top_of_kernel_tree {
     }
     if (   (-f "${lk_path}MAINTAINERS")
 	&& (-f "${lk_path}Makefile")
-	&& (-d "${lk_path}documentation")
+	&& (-d "${lk_path}Documentation")
 	&& (-d "${lk_path}src")
 	&& (-d "${lk_path}util")) {
 	return 1;