diff options
author | Dan Willemsen <dwillemsen@google.com> | 2015-07-31 18:01:32 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2015-07-31 18:01:32 +0000 |
commit | 163fdbf2fd6ac8bb1f1e41fb74e68261badce32d (patch) | |
tree | f40f31fd8e72f30e66c471a29b6af1cb86610819 | |
parent | 555be547903a3077de8fa4e0d3dfd3d9202ddc10 (diff) | |
parent | 2a3e15217ab986abe457808a4f2e35504ded535a (diff) |
Merge "Fix _ReferenceGitDir symlinking"juno
-rw-r--r-- | project.py | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -2347,10 +2347,11 @@ class Project(object): if copy_all: to_copy = os.listdir(gitdir) + dotgit = os.path.realpath(dotgit) for name in set(to_copy).union(to_symlink): try: src = os.path.realpath(os.path.join(gitdir, name)) - dst = os.path.realpath(os.path.join(dotgit, name)) + dst = os.path.join(dotgit, name) if os.path.lexists(dst): continue |