| Index: tools/checkdeps/checkdeps.py
|
| diff --git a/tools/checkdeps/checkdeps.py b/tools/checkdeps/checkdeps.py
|
| index b175beaf92cf209e92f59f6eeba322d33c56484a..6c862776e7f151e30bbab204b1911a4b6301db69 100755
|
| --- a/tools/checkdeps/checkdeps.py
|
| +++ b/tools/checkdeps/checkdeps.py
|
| @@ -416,7 +416,10 @@ def GetGitSourceDirectory(root):
|
| pipes.quote(root))
|
| for line in popen_out.readlines():
|
| dir_name = os.path.join(root, os.path.dirname(line))
|
| - git_source_directory.add(dir_name)
|
| + # Add the directory as well as all the parent directories.
|
| + while dir_name != root:
|
| + git_source_directory.add(dir_name)
|
| + dir_name = os.path.dirname(dir_name)
|
| git_source_directory.add(root)
|
| return git_source_directory
|
|
|
|
|