| Index: tools/git-sync-deps
|
| diff --git a/tools/git-sync-deps b/tools/git-sync-deps
|
| index 8edc0c36c71ea9dfb85a90f11d1ad374235e2ec7..ee37e631f73b6b7bd42e6b96727870fe194dcc9f 100755
|
| --- a/tools/git-sync-deps
|
| +++ b/tools/git-sync-deps
|
| @@ -76,7 +76,7 @@ def is_git_toplevel(git, directory):
|
| try:
|
| toplevel = subprocess.check_output(
|
| [git, 'rev-parse', '--show-toplevel'], cwd=directory).strip()
|
| - return os.path.abspath(directory) == os.path.abspath(toplevel)
|
| + return os.path.realpath(directory) == os.path.realpath(toplevel)
|
| except subprocess.CalledProcessError:
|
| return False
|
|
|
|
|