diff options
author | Jürg Billeter <j@bitron.ch> | 2020-07-29 17:49:37 +0200 |
---|---|---|
committer | Jürg Billeter <j@bitron.ch> | 2020-08-06 07:10:28 +0200 |
commit | 38f7010c8884d592dabeb22bfca4343b6ec3b90c (patch) | |
tree | 13dbc1b228b61645f3f552387bf19825348e1c5f /src/buildstream | |
parent | 10b0f00d0a71245b7e68cb4b86d9c4311ee3385e (diff) | |
download | buildstream-38f7010c8884d592dabeb22bfca4343b6ec3b90c.tar.gz |
element.py: Push all sources
Do not exit the loop if a source is already in the remote source cache.
Diffstat (limited to 'src/buildstream')
-rw-r--r-- | src/buildstream/element.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/buildstream/element.py b/src/buildstream/element.py index bdc04a848..916962d44 100644 --- a/src/buildstream/element.py +++ b/src/buildstream/element.py @@ -1791,14 +1791,15 @@ class Element(Plugin): return not (self.__sourcecache.has_push_remotes(plugin=self) and self._has_all_sources_in_source_cache()) def _source_push(self): + pushed = False + # try and push sources if we've got them if self.__sourcecache.has_push_remotes(plugin=self) and self._has_all_sources_in_source_cache(): for source in self.sources(): - if not self.__sourcecache.push(source): - return False + if self.__sourcecache.push(source): + pushed = True - # Notify successful upload - return True + return pushed # _skip_push(): # |