projects / platform / upstream / Vulkan-Tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76034e2) | patch
scripts: fix update_deps retry clone
authorBob Ellison <bob@lunarg.com>
Wed, 15 Jul 2020 21:15:28 +0000 (15:15 -0600)
committerBob Ellison <45772930+lunarpapillo@users.noreply.github.com>
Thu, 16 Jul 2020 00:30:22 +0000 (18:30 -0600)
commitd093d9723b7c6c8387a99fca8714d9fba600fc6a
treea1c623e8f0695f1805d89b86b7e1273e0492bf33tree | snapshot
parent76034e2ac62e3fd3d95554b06a6db603203be634commit | diff
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.
scripts/update_deps.py diff | blob | history
Domain: Graphics System / GL;