projects / platform / upstream / Vulkan-Tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0749f4) | patch
update_deps: make --clean-repo switch work in all cases
authorBob Ellison <bob@lunarg.com>
Wed, 8 May 2019 17:32:08 +0000 (11:32 -0600)
committerBob Ellison <45772930+lunarpapillo@users.noreply.github.com>
Mon, 13 May 2019 23:48:25 +0000 (17:48 -0600)
commit70c151fd3d695296df790f7ed66daf0f213856f9
tree23ff6f6de5d64be90502761b8cfcf51bfccddae8tree | snapshot
parentb0749f48a1c3d67043e47429baeb8e7144d884facommit | diff
update_deps: make --clean-repo switch work in all cases

--clean-repo right now will raise an exception if the repository
directory was not present.  This makes it work in all cases.
scripts/update_deps.py diff | blob | history
Domain: Graphics System / GL;