diff options
-rw-r--r-- | buildstream/source.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/buildstream/source.py b/buildstream/source.py index d7fac7280..cf362efc2 100644 --- a/buildstream/source.py +++ b/buildstream/source.py @@ -625,15 +625,6 @@ class Source(Plugin): def _get_workspace(self): return self.__workspace.path - # Delete the workspace - # - # Note that this invalidates the workspace key. - # - def _del_workspace(self): - if self._has_workspace(): - self.__workspace.invalidate_key() - self.__workspace = None - # Whether the source has a set workspace # def _has_workspace(self): |