Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py |
diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py |
index 65a9bd8a0578494f4319768dc7550f6732110e33..b8c28d4f97a06e0f5590cd7700ea995e0af74e14 100644 |
--- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py |
+++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/filesystem.py |
@@ -28,6 +28,7 @@ |
"""Wrapper object for the file system / source tree.""" |
+import shutil |
import codecs |
import errno |
import exceptions |
@@ -274,3 +275,9 @@ class FileSystem(object): |
def splitext(self, path): |
"""Return (dirname + os.sep + basename, '.' + ext)""" |
return os.path.splitext(path) |
+ |
+ def make_executable(self, orig_path, new_path): |
+ shutil.copymode(orig_path, new_path) |
+ |
+ def is_executable(self, file_path): |
+ return os.access(file_path, os.X_OK) |