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 |