diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec/OutputService.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/exec/OutputService.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/exec/OutputService.java b/src/main/java/com/google/devtools/build/lib/exec/OutputService.java index d4c38e5740..aaeb414c8a 100644 --- a/src/main/java/com/google/devtools/build/lib/exec/OutputService.java +++ b/src/main/java/com/google/devtools/build/lib/exec/OutputService.java @@ -72,7 +72,8 @@ public interface OutputService { * @param buildSuccessful iff build was successful * @throws BuildFailedException on failure */ - void finalizeBuild(boolean buildSuccessful) throws BuildFailedException, AbruptExitException; + void finalizeBuild(boolean buildSuccessful) + throws BuildFailedException, AbruptExitException, InterruptedException; /** Notify the output service of a completed action. */ void finalizeAction(Action action, MetadataHandler metadataHandler) |