diff options
| author | Bob Ellison <bob@lunarg.com> | 2019-05-08 11:32:08 -0600 |
|---|---|---|
| committer | Bob Ellison <45772930+lunarpapillo@users.noreply.github.com> | 2019-05-13 17:48:25 -0600 |
| commit | 70c151fd3d695296df790f7ed66daf0f213856f9 (patch) | |
| tree | 23ff6f6de5d64be90502761b8cfcf51bfccddae8 /scripts | |
| parent | b0749f48a1c3d67043e47429baeb8e7144d884fa (diff) | |
| download | usermoji-70c151fd3d695296df790f7ed66daf0f213856f9.tar.xz | |
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.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_deps.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/update_deps.py b/scripts/update_deps.py index d88cf891..f1fe36dd 100755 --- a/scripts/update_deps.py +++ b/scripts/update_deps.py @@ -343,7 +343,7 @@ class GoodRepo(object): def Checkout(self): print('Checking out {n} in {d}'.format(n=self.name, d=self.repo_dir)) if self._args.do_clean_repo: - shutil.rmtree(self.repo_dir) + shutil.rmtree(self.repo_dir, ignore_errors=True) if not os.path.exists(os.path.join(self.repo_dir, '.git')): self.Clone() self.Fetch() |