diff options
| author | Bob Ellison <bob@lunarg.com> | 2020-07-15 15:15:28 -0600 |
|---|---|---|
| committer | Bob Ellison <45772930+lunarpapillo@users.noreply.github.com> | 2020-07-15 18:30:22 -0600 |
| commit | d093d9723b7c6c8387a99fca8714d9fba600fc6a (patch) | |
| tree | a1c623e8f0695f1805d89b86b7e1273e0492bf33 /cube | |
| parent | 76034e2ac62e3fd3d95554b06a6db603203be634 (diff) | |
| download | usermoji-d093d9723b7c6c8387a99fca8714d9fba600fc6a.tar.xz | |
scripts: fix update_deps retry clone
There was a subtle bug in the original change; "git fetch"
would retry correctly, but "git clone" failed because the
destination directory was missing (after having been removed,
to ensure a clean clone operation).
The test case that was used (hundreds of times) happened to
provoke an error on the "git fetch" path; I was unaware that
the "git clone" failure path had never been exercised.
Diffstat (limited to 'cube')
0 files changed, 0 insertions, 0 deletions