aboutsummaryrefslogtreecommitdiff
path: root/utils/Makefile
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2017-04-17 15:05:38 -0400
committerPaul Selkirk <paul@psgd.org>2017-04-17 15:05:38 -0400
commitc2820e99c1e3115a7b1ba0d993eb6b665fa73c17 (patch)
tree95e65786dae2bbd97afc08cbeb571000d35da88e /utils/Makefile
parentf79826a8472a2c133c773048306ae3403390e723 (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