diff options
| author | Jürg Billeter <j@bitron.ch> | 2018-08-27 15:09:09 +0200 |
|---|---|---|
| committer | Jürg Billeter <j@bitron.ch> | 2018-08-28 11:01:05 +0200 |
| commit | dd90d53d1b9c8ca68234a95123afb604a1250882 (patch) | |
| tree | c6ef5f5c37a8f7918c67044cd6e7d4060bf73bd1 | |
| parent | ffc556ff2e71c4fb3d06845a41eff0fd6dd5a88d (diff) | |
| download | buildstream-juerg/workspaced-dependencies.tar.gz | |
element.py: Do not attempt to pull workspaced elementsjuerg/workspaced-dependencies
| -rw-r--r-- | buildstream/element.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/buildstream/element.py b/buildstream/element.py index 2c26999c7..0bc35ce38 100644 --- a/buildstream/element.py +++ b/buildstream/element.py @@ -1669,6 +1669,10 @@ class Element(Plugin): # (bool): Whether a pull operation is pending # def _pull_pending(self): + if self._get_workspace(): + # Workspace builds are never pushed to artifact servers + return False + if self.__strong_cached: # Artifact already in local cache return False |