diff options
author | Josh Smith <joshsmith@codethink.co.uk> | 2018-07-23 14:45:04 +0100 |
---|---|---|
committer | Qinusty <jrsmith9822@gmail.com> | 2018-08-01 14:17:17 +0000 |
commit | 60ddb193926b52fccc878d97c72dc3ba0b2102f9 (patch) | |
tree | 64fa864ab8a4ffb438282b411356427be33045c8 | |
parent | eabc38998ea35f5cd07846e40460b35453a995a8 (diff) | |
download | buildstream-60ddb193926b52fccc878d97c72dc3ba0b2102f9.tar.gz |
message.py: MessagesType.SKIPPED added
-rw-r--r-- | buildstream/_frontend/widget.py | 1 | ||||
-rw-r--r-- | buildstream/_message.py | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/buildstream/_frontend/widget.py b/buildstream/_frontend/widget.py index 24e146c16..9e8534f7a 100644 --- a/buildstream/_frontend/widget.py +++ b/buildstream/_frontend/widget.py @@ -160,6 +160,7 @@ class TypeName(Widget): MessageType.START: "blue", MessageType.SUCCESS: "green", MessageType.FAIL: "red", + MessageType.SKIPPED: "yellow", MessageType.ERROR: "red", MessageType.BUG: "red", } diff --git a/buildstream/_message.py b/buildstream/_message.py index 32650450a..37630eb86 100644 --- a/buildstream/_message.py +++ b/buildstream/_message.py @@ -36,6 +36,7 @@ class MessageType(): START = "start" # Status start message SUCCESS = "success" # Successful status complete message FAIL = "failure" # Failing status complete message + SKIPPED = "skipped" # Messages which should be reported regardless of whether |