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'. |