diff options
-rwxr-xr-x | tools/git-sync-deps | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/git-sync-deps b/tools/git-sync-deps index 8edc0c36c7..ee37e631f7 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 |