diff options
author | Darius Makovsky <traveltissues@protonmail.com> | 2019-09-05 14:33:51 +0100 |
---|---|---|
committer | Darius Makovsky <traveltissues@protonmail.com> | 2019-09-20 18:23:31 +0100 |
commit | 9b709cccab57fdc2ecee92f5613ba2b79bd63a26 (patch) | |
tree | 72c8d5bd32541452a06d827dd8bcf125fda15218 | |
parent | b5b4230c262d206f9923e64c2a04160d99c24950 (diff) | |
download | buildstream-9b709cccab57fdc2ecee92f5613ba2b79bd63a26.tar.gz |
element.py: always check sources for caching
Check that sources are cached even if they are workspaced.
-rw-r--r-- | src/buildstream/element.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buildstream/element.py b/src/buildstream/element.py index 090cf74dd..d6728d08f 100644 --- a/src/buildstream/element.py +++ b/src/buildstream/element.py @@ -2273,7 +2273,7 @@ class Element(Plugin): # Check if sources are cached, generating the source key if it hasn't been def _source_cached(self): - if self.__sources and not self._get_workspace(): + if self.__sources: sourcecache = self._get_context().sourcecache # Go through sources we'll cache generating keys |