diff options
author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2018-04-05 17:35:03 +0900 |
---|---|---|
committer | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2018-04-05 17:35:03 +0900 |
commit | a4eb8bd2fe590ff923c8123cf580d8a587c15c55 (patch) | |
tree | 918bbfe9db01653a54112709220dbc5715be8096 /buildstream/element.py | |
parent | 207b986f5e0e6c71cd653113db69180bcd5e571b (diff) | |
download | buildstream-a4eb8bd2fe590ff923c8123cf580d8a587c15c55.tar.gz |
element.py: Removing Element._workspace_dirs()
This private method is now unused and pointless since we
made workspaces an element-wide concept as a part of issue #209.
Diffstat (limited to 'buildstream/element.py')
-rw-r--r-- | buildstream/element.py | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/buildstream/element.py b/buildstream/element.py index 2e3ae6a56..3f4f409dc 100644 --- a/buildstream/element.py +++ b/buildstream/element.py @@ -1365,13 +1365,6 @@ class Element(Plugin): def _workspaced(self): return any(source._has_workspace() for source in self.sources()) - # Get all source workspace directories. - # - def _workspace_dirs(self): - for source in self.sources(): - if source._has_workspace(): - yield source._get_workspace() - # _workspaced_artifact(): # # Returns whether the current artifact is workspaced. |