tree b7808e0973a821f0c3866f42ac92244f80599802
parent 4ff9c022e16972d5ec877e0ec3b0be9277b68f32
author Ian Zerny <zerny@google.com> 1679672778 +0100
committer Ian Zerny <zerny@google.com> 1679921614 +0000

Add an API for cancelling the compilation before completion.

Bug: b/274628704
Change-Id: Ic52967b32aa2ec4454f5b4ffb4b458674e91b698