| 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)
|
|
|
|
|