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 15:29:48 +0200 |
commit | 765dd3d9cbecd9193b606c5a545cf79029337566 (patch) | |
tree | de71eec040a04174528d8cdd951e2fb556525319 | |
parent | 1a96b53792cc532298ff730c8b05c8c18b2231ee (diff) | |
download | buildstream-765dd3d9cbecd9193b606c5a545cf79029337566.tar.gz |
element.py: Do not attempt to pull workspaced elements
-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 9f0f79511..70e12313c 100644 --- a/buildstream/element.py +++ b/buildstream/element.py @@ -1587,6 +1587,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 |