diff options
| author |  Kush Chakraborty <kush@google.com> | 2016-11-23 16:25:32 +0000 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2016-11-23 16:46:08 +0000 |
| commit | f36b4061b4c3c731bd90e34b9fe7648a50542d8c (patch) | |
| tree | 85317c089b44d4fcb490f9db40a213646fd33df0 /scripts/bootstrap | |
| parent | ad13a9c08d4702d9bc4cfcd8dc433995d34350d0 (diff) | |
Properly handle bazel's output deletion within a write-protected directory.
Currently, we fail in deleting outputs from a previous invocation in a write-protected directory.
This change retries deleting the outputs, after making the parent write-protected directory writable again.
--
MOS_MIGRATED_REVID=140035023
Diffstat (limited to 'scripts/bootstrap')
0 files changed, 0 insertions, 0 deletions