diff options
author | Jürg Billeter <j@bitron.ch> | 2020-08-31 16:32:05 +0200 |
---|---|---|
committer | Jürg Billeter <j@bitron.ch> | 2020-08-31 16:32:05 +0200 |
commit | 0943369d86fbc8b1d3fd392fb1d8d6e00b8b0ae7 (patch) | |
tree | 4d9593be2c8c4cf4941dee820931090f721401a1 | |
parent | e039a4fb6adbd113d5f6d20e862d8c0ee2198270 (diff) | |
download | buildstream-juerg/source-push-fetch.tar.gz |
_stream.py: In source_push() don't skip fetching for cached elementsjuerg/source-push-fetch
`skip_cached` skips elements with a cached artifact. However, for
`source_push()` we need the sources of an element and having a cached
artifact does not guarantee that the sources are cached, too.
-rw-r--r-- | src/buildstream/_stream.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buildstream/_stream.py b/src/buildstream/_stream.py index e9bd60244..bd203b0a0 100644 --- a/src/buildstream/_stream.py +++ b/src/buildstream/_stream.py @@ -402,7 +402,7 @@ class Stream: self._pipeline.assert_consistent(elements) - self._add_queue(FetchQueue(self._scheduler, skip_cached=True)) + self._add_queue(FetchQueue(self._scheduler)) self._add_queue(SourcePushQueue(self._scheduler)) |