Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make deleting runfiles tree on Windows "best effort".
On Windows, we use hard links in runfiles tree, and we need to delete and recreate all of them on every runfiles tree update (otherwise the links might still point to outdated files). Occasionally the hard link cannot be unlinked (due to permissions or file being busy). This CL just ignores the error (and hopes for the best). This will allow us to make progress on Windows. Work towards #1212. -- MOS_MIGRATED_REVID=121949474
- Loading branch information