diff options
Diffstat (limited to 'Tools/Scripts/webkitpy/common/system/filesystem.py')
| -rw-r--r-- | Tools/Scripts/webkitpy/common/system/filesystem.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Tools/Scripts/webkitpy/common/system/filesystem.py b/Tools/Scripts/webkitpy/common/system/filesystem.py index 687a31322..d8ee167ae 100644 --- a/Tools/Scripts/webkitpy/common/system/filesystem.py +++ b/Tools/Scripts/webkitpy/common/system/filesystem.py @@ -262,6 +262,9 @@ class FileSystem(object): """Delete the directory rooted at path, whether empty or not.""" shutil.rmtree(path, ignore_errors=True) + def copytree(self, source, destination): + shutil.copytree(source, destination) + def split(self, path): """Return (dirname, basename + '.' + ext)""" return os.path.split(path) |