##// END OF EJS Templates
merge with crew
Benoit Boissinot -
r5277:a32a8e50 merge default
parent child Browse files
Show More
@@ -176,6 +176,10 b' def clone(ui, source, dest=None, pull=Fa'
176 dest_path = os.path.realpath(os.path.join(dest, ".hg"))
176 dest_path = os.path.realpath(os.path.join(dest, ".hg"))
177 os.mkdir(dest_path)
177 os.mkdir(dest_path)
178 if src_repo.spath != src_repo.path:
178 if src_repo.spath != src_repo.path:
179 # XXX racy
180 dummy_changelog = os.path.join(dest_path, "00changelog.i")
181 # copy the dummy changelog
182 force_copy(src_repo.join("00changelog.i"), dummy_changelog)
179 dest_store = os.path.join(dest_path, "store")
183 dest_store = os.path.join(dest_path, "store")
180 os.mkdir(dest_store)
184 os.mkdir(dest_store)
181 else:
185 else:
General Comments 0
You need to be logged in to leave comments. Login now