diff options
| author |  ulfjack <ulfjack@google.com> | 2017-07-14 17:11:48 +0200 |
|---|---|---|
| committer |  Jakob Buchgraber <buchgr@google.com> | 2017-07-17 10:10:42 +0200 |
| commit | e0b6a21750f93739de4e0ff50eb13b90c60cc286 (patch) | |
| tree | 42bcc076dd62e30028c5cefb1014aa86e81eac30 /src/main/java/com/google/devtools/build/lib/remote | |
| parent | a76c94be7c56b93fc5a2f9ececfba7ac1f61f69c (diff) | |
Workaround for the Linux-induced race that causes ETXTBSY
Retry execution when we think it's ETXTBSY.
Fixed #3356.
PiperOrigin-RevId: 161958095
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/remote')
0 files changed, 0 insertions, 0 deletions