A utility to retry a command until the command succeeds
PR: 273730
Differential D41862
misc/retry: Add new port jbo on Sep 14 2023, 4:02 PM. Authored by Tags None Referenced Files
Details
A utility to retry a command until the command succeeds PR: 273730
Diff Detail
Event TimelineComment Actions Thanks @diizzy, agree with everything. Just to clarify, some of these seem to be remains from a first version of the patch in the PR that used USE_GITHUB although there is a proper distfile ;) Comment Actions Update Makefile as requested. However, unless I am being blind, the distfile does not include |