diff options
author | Jürg Billeter <j@bitron.ch> | 2018-04-19 09:12:51 +0200 |
---|---|---|
committer | Jürg Billeter <j@bitron.ch> | 2018-04-30 11:06:10 +0200 |
commit | cb9f318b21a7becde38edd82553b15829eae5698 (patch) | |
tree | c8e3d7df758f9e925105220d3d1a92f58d0f826d | |
parent | 6f1d15521008cae0f0df035c3674b49c6bf1c621 (diff) | |
download | buildstream-cb9f318b21a7becde38edd82553b15829eae5698.tar.gz |
element.py: Print info message when artifact was actually pushed
This matches the pull code path.
-rw-r--r-- | buildstream/element.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/buildstream/element.py b/buildstream/element.py index 917a9e762..3c532c716 100644 --- a/buildstream/element.py +++ b/buildstream/element.py @@ -1618,7 +1618,14 @@ class Element(Plugin): with self.timed_activity("Pushing artifact"): # Push all keys used for local commit - return self.__artifacts.push(self, self.__get_cache_keys_for_commit()) + pushed = self.__artifacts.push(self, self.__get_cache_keys_for_commit()) + if not pushed: + return False + + # Notify successful upload + display_key = self.__get_brief_display_key() + self.info("Pushed artifact {}".format(display_key)) + return True # _shell(): # |