diff options
author | 2016-09-30 10:32:36 +0000 | |
---|---|---|
committer | 2016-09-30 10:57:18 +0000 | |
commit | 95b16a89001014c48e77e5c38c4ca17bd28d3ebb (patch) | |
tree | c695e5891c458a5ca8e276c250e606ec53625b9e /src/main/java/com/google/devtools/common/options/OptionPriority.java | |
parent | c470ae72fa8a0add2e27cb95ab6eae5e426b1f5a (diff) |
sandbox: Replace the error-prone lazy cleanup of sandbox directories by a simple synchronous cleanup.
Tested with bazel building itself that this does not result in a performance degradation.
--
MOS_MIGRATED_REVID=134766597
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/OptionPriority.java')
0 files changed, 0 insertions, 0 deletions