equal
deleted
inserted
replaced
713 |
713 |
714 files = "data 00manifest.d 00manifest.i 00changelog.d 00changelog.i" |
714 files = "data 00manifest.d 00manifest.i 00changelog.d 00changelog.i" |
715 for f in files.split(): |
715 for f in files.split(): |
716 src = os.path.join(source, ".hg", f) |
716 src = os.path.join(source, ".hg", f) |
717 dst = os.path.join(dest, ".hg", f) |
717 dst = os.path.join(dest, ".hg", f) |
718 util.copyfiles(src, dst) |
718 try: |
|
719 util.copyfiles(src, dst) |
|
720 except OSError, inst: |
|
721 if inst.errno != errno.ENOENT: raise |
719 |
722 |
720 repo = hg.repository(ui, dest) |
723 repo = hg.repository(ui, dest) |
721 |
724 |
722 else: |
725 else: |
723 repo = hg.repository(ui, dest, create=1) |
726 repo = hg.repository(ui, dest, create=1) |