| Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py
|
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py
|
| index 1d92aca1315b5e758efba3f7356b1386361ca77a..b3bc3c247fbfb100c913ef88ea150301e080d064 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py
|
| @@ -39,6 +39,7 @@ _log = logging.getLogger(__name__)
|
|
|
|
|
| class Workspace(object):
|
| +
|
| def __init__(self, filesystem, executive):
|
| self._filesystem = filesystem
|
| self._executive = executive # FIXME: Remove if create_zip is moved to python.
|
|
|