diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-04-17 15:05:38 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-04-17 15:05:38 -0400 |
| commit | c2820e99c1e3115a7b1ba0d993eb6b665fa73c17 (patch) | |
| tree | 95e65786dae2bbd97afc08cbeb571000d35da88e /utils/Makefile | |
| parent | f79826a8472a2c133c773048306ae3403390e723 (diff) | |
Retry a couple of times on HAL_ERROR_CORE_BUSY. This doesn't guarantee success, but reduces the failure rate on a busy server.
Diffstat (limited to 'utils/Makefile')
0 files changed, 0 insertions, 0 deletions