Index: git_common.py |
diff --git a/git_common.py b/git_common.py |
index 5a01c835a96b67929c55cbca573a1804fd648d11..d40514462c98775d3d5519a277bedfb2915fba0d 100644 |
--- a/git_common.py |
+++ b/git_common.py |
@@ -821,10 +821,12 @@ def get_branches_info(include_tracking_status): |
def make_workdir_common(repository, new_workdir, files_to_symlink, |
- files_to_copy): |
+ files_to_copy, symlink=None): |
+ if not symlink: |
+ symlink = os.symlink |
os.makedirs(new_workdir) |
for entry in files_to_symlink: |
- clone_file(repository, new_workdir, entry, os.symlink) |
+ clone_file(repository, new_workdir, entry, symlink) |
for entry in files_to_copy: |
clone_file(repository, new_workdir, entry, shutil.copy) |