diff --git a/tools/git-sync-deps b/tools/git-sync-deps
index b09d17669a..b85af15305 100755
--- a/tools/git-sync-deps
+++ b/tools/git-sync-deps
@@ -94,7 +94,8 @@ def is_git_toplevel(git, directory):
   try:
     toplevel = subprocess.check_output(
       [git, 'rev-parse', '--show-toplevel'], cwd=directory).strip()
-    return os.path.realpath(directory) == os.path.realpath(toplevel.decode())
+    return (os.path.normcase(os.path.realpath(directory)) ==
+            os.path.normcase(os.path.realpath(toplevel.decode())))
   except subprocess.CalledProcessError:
     return False