Chromium Code Reviews| Index: build/scripts/common/chromium_utils.py |
| =================================================================== |
| --- build/scripts/common/chromium_utils.py (revision 250023) |
| +++ build/scripts/common/chromium_utils.py (working copy) |
| @@ -487,9 +487,9 @@ |
| raise PathNotFound('Unable to find dir %s' % dest_dir) |
| src_file = os.path.basename(src_path) |
| if dest_fn: |
| - shutil.copy(src_path, os.path.join(dest_dir, dest_fn)) |
| + shutil.copy2(src_path, os.path.join(dest_dir, dest_fn)) |
| else: |
| - shutil.copy(src_path, os.path.join(dest_dir, src_file)) |
| + shutil.copy2(src_path, os.path.join(dest_dir, src_file)) |
|
Drew Haven
2014/02/09 23:36:32
Dunno if maybe we should document that this also c
Nico
2014/02/09 23:41:01
Done.
|
| def MakeZip(output_dir, archive_name, file_list, file_relative_dir, |
| @@ -500,7 +500,7 @@ |
| the archive_name, which will be created if necessary and emptied if it |
| already exists. The files are then then packed using archive names |
| relative to the output_dir. That is, if the zipfile is unpacked in place, |
| - it will create a directory identical to the new archiev_name directory, in |
| + it will create a directory identical to the new archive_name directory, in |
| the output_dir. The zip file will be named as the archive_name, plus |
| '.zip'. |