diff options
author | ccalvarin <ccalvarin@google.com> | 2018-01-22 07:53:56 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-01-22 07:56:03 -0800 |
commit | 28c20f79e3d265f897e8c644a4c31bd2b3d6ac67 (patch) | |
tree | 9bff0a6a653b741228dd352e6324a0f13946155a /src/main/java/com/google/devtools/build/lib/runtime/LineBufferedOutputStream.java | |
parent | 4c8fa1bab507fa7f0a1cbeac0724751d9b574f89 (diff) |
Add option to optionally wipe state at the end of a build.
This will serve as an alternative to --batch, leaving behind a server without state from the previous build.
RELNOTES: Introduces --[no]keep_state_after_build
PiperOrigin-RevId: 182778500
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/LineBufferedOutputStream.java')
0 files changed, 0 insertions, 0 deletions