diff options
author | Jürg Billeter <j@bitron.ch> | 2020-08-31 16:32:05 +0200 |
---|---|---|
committer | Jürg Billeter <j@bitron.ch> | 2020-09-01 15:43:39 +0200 |
commit | bda29b0b0549fa032983fe7d982f9b20bcbe94e6 (patch) | |
tree | baf2684e37633db0cd4a4aff165571e07a9104ed | |
parent | 02887b9184b90d3927b380d29c7e9e8a17dfdcf3 (diff) | |
download | buildstream-bda29b0b0549fa032983fe7d982f9b20bcbe94e6.tar.gz |
_stream.py: In source_push() don't skip fetching for cached elements
`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)) |