diff options
author | robinnabel <rnabel@ucdavis.edu> | 2018-03-22 07:18:14 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-03-22 07:19:28 -0700 |
commit | 7fc3410f21be3326325fc297ec86f0c79a091d01 (patch) | |
tree | 45af4913ac377288aef1d9b71135aed31cfe92d1 /src/main/java/com/google/devtools/build/lib/sandbox | |
parent | d01e8ad9acb2f30e91a653d3af00bd0302c44ad5 (diff) |
Local Disk Cache: Only write to disk if target hash doesn't already exist.
Under Windows, the default permissions used when writing to the local disk cache prevent the files from being overwritten.
This CR adds a check: if the target file already exists, return early. This is a performance improvement and will fix the error described above as existing files will no longer need to be overwritten. Similar features have been implemented on the remote gRPC cache implementations, see bazel issue #4789.
Closes #4886.
PiperOrigin-RevId: 190060233
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/sandbox')
0 files changed, 0 insertions, 0 deletions