diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/buildeventstream')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/buildeventstream/proto/build_event_stream.proto | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/buildeventstream/proto/build_event_stream.proto b/src/main/java/com/google/devtools/build/lib/buildeventstream/proto/build_event_stream.proto index 8a04efcc98..7b7390895e 100644 --- a/src/main/java/com/google/devtools/build/lib/buildeventstream/proto/build_event_stream.proto +++ b/src/main/java/com/google/devtools/build/lib/buildeventstream/proto/build_event_stream.proto @@ -219,6 +219,9 @@ message Aborted { // The user requested the build to be aborted (e.g., by hitting Ctl-C). USER_INTERRUPTED = 1; + // The user requested that no analysis be performed. + NO_ANALYZE = 8; + // The build or target was aborted as a timeout was exceeded. TIME_OUT = 2; |