diff options
author | Abderrahim Kitouni <akitouni@gnome.org> | 2020-05-04 11:09:35 +0100 |
---|---|---|
committer | Abderrahim Kitouni <akitouni@gnome.org> | 2020-05-04 11:09:35 +0100 |
commit | c620be4d39479b3560f2711503d4fc469bbed011 (patch) | |
tree | 4150b367b2f55b798db3a15a3802c5b34ec7a51e | |
parent | 6c6d8f8c9c1dbe5a8990869daff469976bdbc0b2 (diff) | |
download | buildstream-abderrahim/cachekey-strictrebuild.tar.gz |
element.py: make BST_STRICT_REBUILD part of the cache keyabderrahim/cachekey-strictrebuild
Otherwise, this could give rise to confusing situations like #1270
-rw-r--r-- | src/buildstream/element.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buildstream/element.py b/src/buildstream/element.py index 6cce9b93f..88e7fedad 100644 --- a/src/buildstream/element.py +++ b/src/buildstream/element.py @@ -2048,6 +2048,7 @@ class Element(Plugin): "element-plugin-key": self.get_unique_key(), "element-plugin-name": self.get_kind(), "element-plugin-version": self.BST_ARTIFACT_VERSION, + "element-strict-rebuild": self.BST_STRICT_REBUILD, "sandbox": self.__sandbox_config.get_unique_key(), "environment": cache_env, "public": self.__public.strip_node_info(), |