tree dc83e5f592341fe241f84968bf6a163344cb1ec2
parent c7e3e5ef45c1877d12d6365fbfb68fa840c1518b
author Brad King <brad.king@kitware.com> 1613147843 -0500
committer Brad King <brad.king@kitware.com> 1613148432 -0500

disk_interface: Restore toleration of missing files in RemoveFile on Windows

Revise the logic from commit 2d7f7e55 (Delete read-only files on
Windows, too, 2020-12-07) to check if `GetFileAttributes` or
`DeleteFile` failed due either variant of the file/path-not-found error.

Issue: #1886