| commit | 9d0927760ba32f29d79e040c7f731320fa471706 | [log] [tgz] |
|---|---|---|
| author | David Pinedo <david@lunarg.com> | Tue Feb 09 14:44:05 2016 -0700 |
| committer | David Pinedo <david@lunarg.com> | Tue Feb 09 18:05:08 2016 -0700 |
| tree | 9d230e152db79c0f734b52ff3aaddfccbfefa631 | |
| parent | 32eb2ec96c274e6d6de87bafb02b21fb7e02a029 [diff] |
winrtinstaller: A new dir is created for reinstall of same version Windows 10 was displaying a warning when an uninstall resulted in the install dir not being deleted. (As happens when there are multiple installs of the same version.) So we create a folder for each re-install, the folder is removed on uninstall, and Windows 10 doesn't get upset.